Geeks
Mathnerd314
/
insane
Toy typechecker for Insanely Dependent Types
Primary Language
Haskell
insane GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
Watchers
Mathnerd314
jhcloos
eemailme