natural-induction 0.1.0.0 → 0.1.0.1

raw patch · 2 files changed

+2/−13 lines, 2 files

Files

• Data/Natural/Class.hs +0/−12
• natural-induction.cabal +2/−1

@@ -1,12 +0,0 @@-module Data.Natural.Class where--import Data.Peano--class Natural n where-    natural :: f Zero -> (∀ m . Natural m => f (Succ m)) -> f n--instance Natural Zero where-    natural zf _ = zf--instance Natural n => Natural (Succ n) where-    natural _ sf = sf

@@ -1,5 +1,5 @@ name:                natural-induction-version:             0.1.0.0+version:             0.1.0.1 synopsis:            Induction over natural numbers -- description:          license:             BSD3@@ -20,5 +20,6 @@   default-language:    Haskell2010   default-extensions:  UnicodeSyntax                      , RankNTypes+                     , PolyKinds                      , DataKinds   -- other-extensions: