https://github.com/konn/type-natural

Type-level well-kinded natural numbers.
https://github.com/konn/type-natural

dependent-types ghc haskell proof-assistant type-level type-level-programming

Last synced: about 1 month ago
JSON representation

Type-level well-kinded natural numbers.

• Host: GitHub
• URL: https://github.com/konn/type-natural
• Owner: konn
• License: bsd-3-clause
• Created: 2013-06-02T07:19:23.000Z (almost 12 years ago)
• Default Branch: master
• Last Pushed: 2025-01-02T07:05:28.000Z (5 months ago)
• Last Synced: 2025-03-29T14:07:06.287Z (about 2 months ago)
• Topics: dependent-types, ghc, haskell, proof-assistant, type-level, type-level-programming
• Language: Haskell
• Size: 555 KB
• Stars: 34
• Watchers: 6
• Forks: 12
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: Changelog.md
  • Funding: .github/FUNDING.yml
  • License: LICENSE

Awesome Lists containing this project

README

        
type-natural

=============

![Haskell CI](https://github.com/konn/type-natural/workflows/Haskell%20CI/badge.svg) [![Hackage](https://img.shields.io/hackage/v/type-natural.svg)](https://hackage.haskell.org/package/type-natural)

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