search

miking-lang / miking

Miking - the meta viking: a meta-language system for creating embedded languages
Other
51 stars 31 forks source link

MLang Pipeline #842

Closed marten-voorberg closed 3 months ago

marten-voorberg commented 6 months ago

This PR aims to add a pipeline for MLang compilation that does not use any of the boot transformations for compiling MLang to MExpr but does this in MLang itself.