homepage: ''
changelog-type: ''
hash: 039705bbe72fcb4c610f721047a15411c45ae5d6f654c7fb29f66620ab62d3cd
test-bench-deps: {}
maintainer: mckean.kylej@gmail.com
synopsis: Natural Numbers with no overhead
changelog: ''
basic-deps:
  base: ! '>=4.9 && <4.10'
all-versions:
- '0.1.0.0'
author: Kyle McKean
latest: '0.1.0.0'
description-type: haddock
description: ! 'Dependent Singleton like natural numbers without the

  Singleton dependency. The implementation uses inductive

  naturals at the type level but machine integers at the term

  level.'
license-name: MIT

Update from Hackage at 2016-12-24T16:08:16Z
Update from Hackage at 2016-12-24T16:08:16Z
