Giters
raaz-crypto
/
verse-agda
A discontinued agda variant of verse
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
4
Issues:
3
Forks:
2
raaz-crypto/verse-agda Issues
create a PPA with the correct versions of agda and stdlib
Updated
9 years ago
fix the typeEq function
Updated
9 years ago
Improve on the type kind
Updated
9 years ago