Giters
statebox
/
idris-multibase
Self-identifying base encodings in Idris
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
6
Watchers:
6
Issues:
5
Forks:
1
statebox/idris-multibase Issues
Fix base 64
Updated
5 years ago
Fix base 2
Updated
5 years ago
It does not work
Closed
5 years ago
Prove isomorphism
Updated
5 years ago
Write readme
Closed
5 years ago
Comments count
2