Geeks
bobatkey
/
foveran
A Dependently Typed Programming Language
Primary Language
Haskell
foveran GitHub
Markdown
Readme
0
Issues
27
Stargazers
5
Watchers
No issues in this repository yet.