@hackage / fast-nats

Natural Numbers with no overhead

Latest0.1.0.1

About

Metadata

  • Last updated , by mckeankylej
  • License MIT

  • Maintained by: mckean.kylej@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

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.