Skip to content
Type-level well-kinded natural numbers.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Data/Type
.gitignore
.hlint.yaml
.travis.yml
LICENSE
README.md
Setup.hs
stack-800.yaml
stack-802.yaml
stack-804.yaml
stack-806.yaml
stack.yaml
type-natural.cabal

README.md

type-natural

Build Status Hackage

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

You can’t perform that action at this time.