Geeks
ars-dev-br
/
dependent-types
Toy language with dependent types.
Primary Language
Haskell
GNU General Public License v3.0
GPL-3.0
dependent-types GitHub
Markdown
Readme
0
Issues
2
Stargazers
0
Watchers
dependent-types
Toy language with dependent types.