Rachel Lambda Samuelsson cf55e12391 | ||
---|---|---|
app | ||
src | ||
.gitignore | ||
LICENSE | ||
Setup.hs | ||
TODO | ||
hm.cabal | ||
hm.cf | ||
readme.md | ||
test.hm |
readme.md
HM
A simple, terminating, pure, hindley milner lambda calculus with inductively defined types.
Very much a work in progress
The code is very messy and needs to be cleaned up..
Building
Depends: * BNFC * GHC * Cabal
Instructions: * Run cabal build