type-natural

Release 1.3.0.2

Type-level well-kinded natural numbers.

Homepage Repository Hackage Haskell Download

Keywords
library, math, Propose Tags, Report a vulnerability, , Index, Quick Jump, Data.Type.Natural, Data.Type.Natural.Builtin, Data.Type.Natural.Lemma.Arithmetic, Data.Type.Natural.Lemma.Order, Data.Type.Natural.Presburger.MinMaxSolver, Data.Type.Ordinal, Data.Type.Ordinal.Builtin, type-natural-1.3.0.2.tar.gz, browse, Package description, Package maintainers, HiromiIshii, edit package information , dependent-types, ghc, haskell, proof-assistant, type-level, type-level-programming
License
BSD-3-Clause
Install
cabal install type-natural-1.3.0.2

Documentation

type-natural

Haskell CI Hackage

Type-level well-kinded peano natural numbers and singletons with proofs of their properties.

Stats

Dependent repositories
1
Total releases
49
Latest release
First release
Stars
33
Forks
12
Watchers
7
Contributors
4
Repository size
555 KB
SourceRank
10

Releases

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.0.1.0
See all 49 releases

Contributors

Hiromi Ishii John P Mayer, Jr Rinat Striungis fmap


See all contributors

Login to resync this project