Skip to content

Latest commit

 

History

History
29 lines (21 loc) · 635 Bytes

CHANGELOG.md

File metadata and controls

29 lines (21 loc) · 635 Bytes

0.4.7 [2023.10.13]

  • Allow building with singletons-base-3.3.

0.4.6 [2021.03.12]

  • Allow building with singletons-base.

0.4.5 [2020.04.11]

  • Remove the use of overlapping patterns in NatMinus.

0.4.4 [2020.03.25]

  • Allow singletons-2.7.

0.4.3 [2019.08.27]

  • Allow singletons-2.6.

0.4.2 [2018.09.18]

  • Allow singletons-2.5.

0.4.1 [2018.05.02]

  • Add a Num Nat instance.
  • Implement signum in the PNum/SNum instances for Nat.
  • Define defunctionalization symbols for Lit.
  • Define someNatVal.

0.4.0.4 [2018.01.09]

  • Allow singletons-2.4.

0.4.0.3 [2017.11.03]

  • Allow singletons-2.3.