@hackage / singleton-nats

Unary natural numbers relying on the singletons infrastructure.

Latest0.4.7

About

Metadata

  • Last updated , by ryanglscott
  • License BSD-3-Clause
  • Maintained by: puttamalac@gmail.com

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.8.1
  2. 9.6.3
  3. 9.4.7
  4. 9.2.8
  5. 9.0.2
  6. 8.10.7
  7. 8.8.4
  8. 8.6.5
  9. 8.4.4
  10. 8.2.2
  11. 8.0.2

Package Flags

Use the -f option with cabal commands to enable flags

    singletons-3-0 (on by default)

    Use singletons-3.0 or later.

Readme

singleton-nats

Hackage Build Status

Unary natural numbers relying on the singletons infrastructure.