hm/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.
added some build stuff 2022-01-23 12:52:33 +01:00			`# HM`

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

update readme a bit 2022-05-03 22:16:46 +02:00			For an example of the syntax see `test.hm`
readme.md: added some info on current state of the project 2022-01-25 21:01:52 +01:00
added some build stuff 2022-01-23 12:52:33 +01:00			`## Building`

			`Depends:`
			`* BNFC`
			`* GHC`
			`* Cabal`

			`Instructions:`
			* Run `cabal build`
update readme a bit 2022-05-03 22:16:46 +02:00
			`## 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.`