CHANGELOG.md−3
@@ -4,9 +4,6 @@
44
55# CHANGELOG
66
7−## 0.1.2
8−### Added KnownPeano
9−
107## 0.1.1
118### Fixed
129* Compilable with ghc-8.0.1
src/TypeFun/Data/Peano.hs−1
@@ -16,7 +16,6 @@ data N = Z | S N
1616 deriving ( Eq, Ord, Read, Show
1717 , Generic, Typeable )
1818
19−-- | @since 0.1.2
2019class KnownPeano (p :: N) where
2120 peanoVal :: proxy p -> Integer
2221
type-fun.cabal+1−1
@@ -1,5 +1,5 @@
11name: type-fun
2−version: 0.1.2
2+version: 0.1.1
33synopsis: Collection of widely reimplemented type families
44license: BSD3
55license-file: LICENSE