type-natural

Release 1.3.0.1

Type-level well-kinded natural numbers.

Homepage Repository Hackage Haskell Download

Keywords
library, math, Propose Tags, , Last Documentation, type-natural-1.3.0.1.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.1

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
48
Latest release
First release
Stars
33
Forks
12
Watchers
7
Contributors
4
Repository size
396 KB
SourceRank
10

Development practices

Source repo 2FA enabled
TEXT!
Package manager 2FA enabled
TEXT!
Is security responsive
TEXT!
Dependencies are managed
TEXT!
Issue-free release available
TEXT!
Succession plan available
TEXT!
Package manager 2FA enabled
TEXT!

The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.

Learn more →

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 48 releases

Contributors

Hiromi Ishii John P Mayer, Jr Rinat Striungis fmap


See all contributors

Something wrong with this page? Make a suggestion

Export .ABOUT file for this package

Last synced: 2023-12-29 01:04:52 UTC

Login to resync this project