singleton-nats: Unary natural numbers relying on the singletons infrastructure.

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Unary natural number relying on the singletons infrastructure. More information about the general usage of singletons can be found on the singletons github page.

Properties

Versions 0.1.0.0, 0.1.1.0, 0.2.0.0, 0.3.0.0, 0.3.0.1, 0.3.1.0, 0.4.0.0, 0.4.0.1, 0.4.0.2, 0.4.0.3, 0.4.0.4, 0.4.0.4, 0.4.1, 0.4.2, 0.4.3, 0.4.4, 0.4.5, 0.4.6
Change log None available
Dependencies base (>=4.8.1.0 && <5), singletons (>=2.2 && <2.5) [details]
License BSD-3-Clause
Copyright 2015 András Kovács
Author András Kovács
Maintainer puttamalac@gmail.com
Category Data, Dependent Types
Home page https://github.com/AndrasKovacs/singleton-nats
Bug tracker https://github.com/AndrasKovacs/singleton-nats/issues
Source repo head: git clone https://github.com/AndrasKovacs/singleton-nats.git
Uploaded by AndrasKovacs at 2018-01-08T16:32:32Z

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees