homepage: ''
changelog-type: ''
hash: 40184361d998a6fe8d737d58e2b54d66f26f0d55a0cc576dde90a6da848f8c6c
test-bench-deps: {}
maintainer: strake888@gmail.com
synopsis: Induction over natural numbers
changelog: ''
basic-deps:
  peano: ! '>=0.1 && <0.2'
  base: ! '>=4.9 && <5'
all-versions:
- '0.1.0.0'
- '0.1.0.1'
- '0.1.1.0'
author: M Farkas-Dyck
latest: '0.1.1.0'
description-type: haddock
description: ''
license-name: BSD3

homepage: ''
changelog-type: ''
hash: e51041d3811a0151f404533749717cd69ccc31fcfbbadbf041fe786a9fc72a21
test-bench-deps: {}
maintainer: strake888@gmail.com
synopsis: Induction over natural numbers
changelog: ''
basic-deps:
  peano: ! '>=0.1 && <0.2'
  base: ! '>=4.9 && <5'
all-versions:
- '0.1.0.0'
- '0.1.0.1'
- '0.1.1.0'
- '0.2.0.0'
author: M Farkas-Dyck
latest: '0.2.0.0'
description-type: haddock
description: ''
license-name: BSD3

Update from Hackage at 2017-12-14T06:35:50Z
Update from Hackage at 2017-12-14T06:35:50Z
