Skip to content

Latest commit

 

History

History
27 lines (21 loc) · 533 Bytes

CHANGELOG.md

File metadata and controls

27 lines (21 loc) · 533 Bytes

TODO

  • Add doctests
  • Add TyFun from singletons (or just depend from)?

CHANGELOG

0.1.3

Fixed

  • Buildability with GHC-8.10 (by enobayram)

0.1.2

Added KnownPeano

0.1.1

Fixed

  • Compilable with ghc-8.0.1

0.1.0

Added

  • Type family Substract to remove elements of one list from another
  • Unsafe helper functions to relax constraints in some safe points. But we use unsafeCoerce so this functions are potentially just break constants

Changed

  • Compilable under ghc-7.8

0.0.1

First version