... | ... | @@ -15,4 +15,6 @@ TODO |
|
|
|
|
|
## Library changes
|
|
|
|
|
|
TODO |
|
|
\ No newline at end of file |
|
|
### `base-4.16.*`
|
|
|
|
|
|
The `Nat` kind is now a type synonym for `Natural` (from `Numeric.Natural`). As a consequence, one must enable `TypeSynonymInstances` in order to define instances for `Nat`. |
|
|
\ No newline at end of file |