@hackage singleton-nats0.3.0.0

Unary natural numbers relying on the singletons infrastructure.

Categories
License
BSD-3-Clause
Maintainer
puttamalac@gmail.com
Links
- Documentation
- No source repository
Versions
- 0.4.7 Sun, 12 May 2024
- 0.4.6 Sun, 12 Mar 2023
- 0.4.5 Sat, 11 Apr 2020
- 0.4.4 Wed, 25 Mar 2020
- 0.4.3 Tue, 27 Aug 2019
- 0.4.2 Tue, 18 Sep 2018

Installation
In your cabal file:
Dependencies (2)
- base >=4.7 && <4.9
- singletons >=1
Dependents (2)
@hackage/acme-everything, @hackage/eliminators