# 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`.