homepage: ''
changelog-type: ''
hash: 3143481257851579ea00810cdf9bbb19f4cdcaff6c54c6e76b8597dd0452953b
test-bench-deps: {}
maintainer: strake888@gmail.com
synopsis: Finite totally-ordered sets
changelog: ''
basic-deps:
  peano: -any
  base: ! '>=4.7 && <5'
  natural-induction: ! '>=0.2 && <0.3'
  clist: ! '>=0.2 && <0.3'
all-versions:
- '0.1.0.0'
- '0.1.1.0'
- '0.2.0.0'
author: M Farkas-Dyck
latest: '0.2.0.0'
description-type: haddock
description: ''
license-name: BSD3

homepage: ''
changelog-type: ''
hash: 792a3bf1423c0817abfeb0a19eaf8f0df2536b26beb1f91613a44ec4fa9e7869
test-bench-deps: {}
maintainer: strake888@gmail.com
synopsis: Finite totally-ordered sets
changelog: ''
basic-deps:
  peano: -any
  base: ! '>=4.7 && <5'
  natural-induction: ! '>=0.2 && <0.3'
all-versions:
- '0.1.0.0'
- '0.1.1.0'
- '0.2.0.0'
- '0.2.1.0'
author: M Farkas-Dyck
latest: '0.2.1.0'
description-type: haddock
description: ''
license-name: BSD3

Update from Hackage at 2018-05-12T05:48:34Z
Update from Hackage at 2018-05-12T05:48:34Z
