A hindley-milner typechecker with inductive types.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
Rachel Samuelsson bc7565a1f7 Merge branch 'master' of githug.xyz:depsterr/hm 1 week ago
app able to typecheck files ! 1 year ago
src fixed loop in anti loop detection 11 months ago
.gitignore added some build stuff 1 year ago
LICENSE added some build stuff 1 year ago
Setup.hs only rebuild grammar when source has been modified 1 year ago
TODO it can now infer the type of some expressions 1 year ago
bad.hm added positivity check 1 year ago
hm.cabal able to typecheck files ! 1 year ago
hm.cf hm.cf: remove redundant comment 1 year ago
readme.md update readme a bit 9 months ago
test.hm precedence levels 1 week ago

readme.md

HM

A simple, terminating, pure, hindley milner lambda calculus with inductively defined types.

For an example of the syntax see test.hm

Building

Depends: * BNFC * GHC * Cabal

Instructions: * Run cabal build

TODO

Currently there is no kind system and as such there are no indexed datatypes. Considering my interest currenlty lies in dependently typed systems this is not likely to change any time soon.