enhancementgood first issuemedium rewarduser experience
Métriques du dépôt
- Stars
- (1 169 étoiles)
- Métriques de merge PR
- (Métriques PR en attente)
Description
It would be nice to make the compiler API as consistent as possible between targets and to eliminate a failure case in the space safety theorem. I expect that this would be tedious but not technically challenging. Doing it at the basis level might be a good test case for unboxing optimizations; doing it in wordLang would be more work with no access to the translator, but could produce a better result with fewer innovations.