Geeks
brendanzab
/
elm-stlc
Bidirectional type checker for the simply typed lambda calculus
Primary Language
Elm
MIT License
MIT
elm-stlc Home Page
elm-stlc GitHub
Markdown
Readme
0
Issues
13
Stargazers
3
Watchers
Watchers
brendanzab
@yeslogic
eemailme
jhcloos