A virtual machine with a simple grammar based off simply typed lambda calculus, that eventually will have a powerful type system and optimizing backend.
jeltsch / stand-in-language Goto Github PK
View Code? Open in Web Editor NEWThis project forked from sfultong/stand-in-language
a simple total pure functional language, eventually to have powerful static checking and optimization
License: Apache License 2.0