Functional Machine Calculus typed. A programming language based on the FMC paper, developed from scratch for a Dissertation project.
Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause