homepage: https://github.com/oisdk/lean-peano#readme
changelog-type: markdown
hash: 8ca0ffb805c579aad16193e483ff2a52495858a502cd666e157ce37b000cf73d
test-bench-deps:
  base: -any
  hedgehog: -any
  doctest: -any
  base-compat: -any
  deepseq: -any
  QuickCheck: -any
  lean-peano: -any
  template-haskell: -any
maintainer: mail@doisinkidney.com
synopsis: ''
changelog: |
  # Changelog for lean-peano

  ## Unreleased changes
basic-deps:
  base: ! '>=4.7 && <5'
  deepseq: -any
all-versions:
- 0.1.0.0
- 0.1.0.1
- 0.1.1.0
author: Donnacha Oisín Kidney
latest: 0.1.1.0
description-type: markdown
description: |
  [![Hackage](https://img.shields.io/hackage/v/lean-peano.svg)](https://hackage.haskell.org/package/lean-peano)

  # lean-peano

  Implementation of peano numbers (with all relevant instances) with minimal dependencies.
license-name: MIT

homepage: https://github.com/oisdk/lean-peano#readme
changelog-type: markdown
hash: 25083084da1f6d5d102018062e5bd513a90f13021f25fceaf7a6ee5fb4548901
test-bench-deps:
  base: ! '>=4.10.0.0 && <5'
  hedgehog: -any
  doctest: -any
  base-compat: -any
  deepseq: -any
  QuickCheck: -any
  lean-peano: -any
  template-haskell: -any
maintainer: mail@doisinkidney.com
synopsis: A maximally lazy, simple implementation of the Peano numbers with minimal
  dependencies
changelog: |
  # Changelog for lean-peano

  ## Unreleased changes
basic-deps:
  base: ! '>=4.10.0.0 && <5'
  deepseq: ! '>=1.1.0.0'
all-versions:
- 0.1.0.0
- 0.1.0.1
- 0.1.1.0
- 1.0.0.0
author: Donnacha Oisín Kidney
latest: 1.0.0.0
description-type: markdown
description: |
  [![Hackage](https://img.shields.io/hackage/v/lean-peano.svg)](https://hackage.haskell.org/package/lean-peano)

  # lean-peano

  Implementation of peano numbers (with all relevant instances) with minimal dependencies.
license-name: MIT

Update from Hackage at 2020-03-02T22:32:48Z
Update from Hackage at 2020-03-02T22:32:48Z
