@hackage singleton-nats0.4.5

Unary natural numbers relying on the singletons infrastructure.

Categories
License
BSD-3-Clause
Maintainer
puttamalac@gmail.com
Links
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:
Tested Compilers
Dependencies (2)
- base >=4.8.1.0 && <5
- singletons >=2.2 && <2.8
Dependents (2)
@hackage/acme-everything, @hackage/eliminators

singleton-nats

Unary natural numbers relying on the singletons infrastructure.