The type-natural package

[Tags:bsd3, library]

Type-level natural numbers and proofs of their properties.

Properties

Versions 0.0.1.0, 0.0.1.1, 0.0.2.0, 0.0.2.1, 0.0.3.0, 0.0.4.0, 0.0.5.0, 0.0.6.0, 0.1.0.0, 0.2.0.0, 0.2.1.0, 0.2.1.1, 0.2.1.2, 0.2.1.3, 0.2.1.4, 0.2.1.5, 0.2.2.0, 0.2.3.0, 0.2.3.1, 0.2.3.2, 0.3.0.0 (info)
Dependencies base (==4.*), constraints (>=0.3 && <0.5), equational-reasoning (==0.2.*), monomorphic (>=0.0.3), singletons (==0.8.* || ==1.* || ==2.0.*), template-haskell (>=2.8 && <2.11) [details]
License BSD3
Copyright (C) Hiromi ISHII 2013-2014
Author Hiromi ISHII
Maintainer konn.jinro_at_gmail.com
Stability Unknown
Category Math
Home page https://github.com/konn/type-natural
Source repository head: git clone git://github.com/konn/type-natural.git
Uploaded Fri Oct 2 08:55:36 UTC 2015 by HiromiIshii
Distributions NixOS:0.3.0.0
Downloads 3987 total (46 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2015-10-04 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees