Giters
FranckS
/
RingIdris
Ring solver for Idris
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
20
Watchers:
5
Issues:
2
Forks:
4
FranckS/RingIdris Issues
Partial equality function should have default
Updated
9 years ago
Comments count
2
Odd inconsistency in implicit vs. explicit
Updated
9 years ago