Geeks
fxdpntthm
/
type-checker
Simple implementation of ST LC type checker in Haskell
Primary Language
Haskell
MIT License
MIT
type-checker GitHub
Markdown
Readme
0
Issues
11
Stargazers
2
Watchers
Stargazers
573
Leipzig
dee-me-tree-or-love
ioanluca
London, UK and Bucharest, RO
juniorxxue
The University of Hong Kong
ngernest
Ithaca, NY
nikitavoloboev
Madrid
ocramz
@unfoldml
rlarson20
NYC, New York
shehzaadzd
ETH Zürich
skylee03
University of Hong Kong
vitalibarozzi
Brazil