homepage: https://github.com/oisdk/lean-peano#readme
changelog-type: markdown
hash: 9df2e6b2d71b9b77612966f6b0a750414f80bb419649bdd546980a9b0cf140b3
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
author: Donnacha Oisín Kidney
latest: 0.1.0.0
description-type: markdown
description: |
  # lean-peano
license-name: MIT

Update from Hackage at 2020-02-22T00:42:12Z
Update from Hackage at 2020-02-22T00:42:12Z
