Geeks
gergoerdi
/
hm-compo
Compositional type checking for a Hindley-Milner type system
Primary Language
Haskell
MIT License
MIT
hm-compo GitHub
Markdown
Readme
0
Issues
11
Stargazers
4
Watchers
Stargazers
alcides
LASIGE, University of Lisbon
brendanzab
@yeslogic
cpjs
csabahruska
London
jreina
@ShittyLabs
juanbono
@lambdaclass
kirisaki
Inage, Chiba JPN
proneetv
@Amzn
sdiehl
London
wangwangwar
Chengdu
wdamron
Element Biosciences