AndrasKovacs/singleton-nats
Unary natural numbers relying on the singletons infrastructure
HaskellNOASSERTION
Issues
- 2
Enable Travis CI builds
#5 opened - 1
- 2
singletons-2 require base >4.8
#1 opened
Unary natural numbers relying on the singletons infrastructure
HaskellNOASSERTION