Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
Primary LanguageHaskell
This repository is not active