homepage: ''
changelog-type: ''
hash: 534e20d05b01314bb236a669ecef92cc954f9a318b8e12834f72b94d6f7de4cc
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'
author: M Farkas-Dyck
latest: '0.1.0.0'
description-type: haddock
description: ''
license-name: BSD3

homepage: ''
changelog-type: ''
hash: 1f554e8f992a44df93b0055b3e2eaf3f0729a38b0ebb1b23b23273fa1b41543e
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'
author: M Farkas-Dyck
latest: '0.1.0.1'
description-type: haddock
description: ''
license-name: BSD3

Update from Hackage at 2017-12-14T05:25:36Z
Update from Hackage at 2017-12-14T05:25:36Z
