lib:singleton-nats

Modules

• Data.Nat

Dependencies

• base lib:base >=4.8.1.0 && <5
• singletons lib:singletons (>=2.2 && <2.8) && >=3.0 && <3.1
• singletons-base lib:singletons-base >=3.0 && <3.3

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• eliminators lib:eliminators
• eliminators test:spec