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