Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Type-level and typed unary natural numbers, vectors, inequality proofs
branch: master
Failed to load latest commit information.
src pureV, applyV
.gitignore gitignore tarballs
COPYING Version 0.0.0
Makefile Version 0.0.0 Version 0.0.0
Setup.lhs Version 0.0.0
type-unary.cabal 0.2.16: INLINE (<+>)

Simple, type-level natural numbers.

There are probably many of these packages. Perhaps consolidate. This one is extracted from Shady.

Something went wrong with that request. Please try again.