hermetique / tinymatch Goto Github PK
View Code? Open in Web Editor NEWThis project forked from codyroux/tinymatch
A teeny language with nats, lists and pattern matching, static and dynamic semantics and a proof of progress and preservation.
License: Apache License 2.0