BSD-3-Clause licensed by Hiromi ISHII
Maintained by konn.jinro_at_gmail.com
This version can be pinned in stack with:type-natural-1.3.0.1@sha256:92fa921823a74d8131f654528b24b8a5a050c4c877885c121bdc003bc3f08db9,2941

Type-level natural numbers and proofs of their properties.

Version 0.6+ supports GHC 8+ only.

Use 0.5.* with ~ GHC 7.10.3.

Changes

Changelog

1.3.0.1

  • Supports GHC 9.8
  • Drops support for GHC <9

1.3.0.0

  • Supports GHC 9.6
  • Adds compatibility layer for SNat singleton provided since base 4.18