Giters
albertprz
/
oppressor
Dependent types in Haskell for real use cases
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
0
Watchers:
0
Issues:
0
Forks:
0
oppressor
About
Dependent types in Haskell for real use cases
Languages
Language:
Haskell
100.0%