decidable v0.3.0.0 Release Notes

Release Date: 2020-02-03 // over 4 years ago
  • Feburary 2, 2020


    • Update to work with singletons-2.6, the type family update
    • Change Evident to now be a defunctionalization symbol for Sing, instead of a type synonym with TyPred, to match with singletons-2.6. Most code in practice should be the same.
    • Fix instances for FProds: now can prove and decide any FProd f (Wit p), and can prove and decide and auto any FProd f WrappedSing.

Previous changes from v0.2.1.0