Giters

konn / type-natural

Type-level well-kinded natural numbers.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

haskelltype-leveldependent-typesproof-assistantghctype-level-programming

type-natural

Haskell CI Hackage

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

About

Type-level well-kinded natural numbers.

haskelltype-leveldependent-typesproof-assistantghctype-level-programming

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 98.2%Language:Shell 1.8%