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.
depsterr b44ffb282a update readme a bit 5 months ago
app able to typecheck files ! 8 months ago
src fixed loop in anti loop detection 7 months ago
.gitignore added some build stuff 8 months ago
LICENSE added some build stuff 8 months ago
Setup.hs only rebuild grammar when source has been modified 8 months ago
TODO it can now infer the type of some expressions 8 months ago
bad.hm added positivity check 8 months ago
hm.cabal able to typecheck files ! 8 months ago
hm.cf hm.cf: remove redundant comment 8 months ago
readme.md update readme a bit 5 months ago
test.hm fixed loop in anti loop detection 7 months 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.