hindley-milner topic

List hindley-milner repositories

deimos

16
Stars
1
Forks
Watchers

A toy language with Lua like syntax that compiles to C code.

verified publisher icon megabytesofrem

type-systems

42
Stars
2
Forks
Watchers

Playing with type systems

verified publisher icon andreypopp

rep_lang

21
Stars
4
Forks
Watchers

a language for Cultural Articulation

verified publisher icon neighbour-hoods