lambda-mountain
lambda-mountain copied to clipboard
Compact Typed Assembler (5K SLOC)
`Hook+HookPriority`
It would be nice to expect not just any `Type`, but also a `Type::normal` or `Type::denormal` to indicate that the method expects the type to be in normal form or...
close / open for Rc would help to clean up macros
``` (f( (= x 2) (= y 3) )) ```
Fragments should render in blob mode with the same idioms of normal LM. There shouldn't be two languages.
`Tuple` is different from `Tuple`
The "zero" string is the empty string etc.
Have been accruing technical debt for a while. The code could use some improvements. * GC * finish numerical operation specializations * named fields * document 50% of most stable...
currently everything ends up in rax.