damas-hindley-milner topic
List
damas-hindley-milner repositories
frea
17
Stars
1
Forks
Watchers
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
