Geeks
bobatkey
/
foveran
A Dependently Typed Programming Language
Primary Language
Haskell
foveran GitHub
Markdown
Readme
0
Issues
27
Stargazers
5
Watchers
Watchers
veged
Moscow, Russia
bobatkey
Edinburgh, UK
jhcloos
DragonLi
eemailme