type-natural

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

Name		Name	Last commit message	Last commit date
Latest commit History 297 Commits
.github		.github
.vscode		.vscode
ci-configs		ci-configs
sandpit		sandpit
scripts		scripts
src/Data/Type		src/Data/Type
tests		tests
.gitignore		.gitignore
.hlint.yaml		.hlint.yaml
Changelog.md		Changelog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
cabal.project		cabal.project
type-natural.cabal		type-natural.cabal

Provide feedback