Geeks
nickcowle
/
Banach
A toy, ML-like, dependently typed language
Primary Language
F#
MIT License
MIT
Banach GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Banach
A toy, ML-like, dependently typed language
