eliminators v0.3 Release Notes
Release Date: 2017-11-07 // over 6 years ago-
- Migrate the old
elimNat
fromData.Eliminator
(which worked over theNat
fromGHC.TypeNats
) toData.Eliminator.TypeNats
. ThereelimNat
that now lives inData.Eliminator
is for an unrelatedNat
data type from thesingleton-nats
package (which is a proper, inductively defined, Peano natural number type).
- Migrate the old