homepage: https://github.com/phadej/vec
changelog-type: markdown
hash: c0a3ddaf4c989e2a3d83f91dbe0e70db75a16aad9b24ab8312ceab8af9f2b325
test-bench-deps: {}
maintainer: Oleg.Grenrus <oleg.grenrus@iki.fi>
synopsis: Decidable propositions.
changelog: |
  # Revision history for dec

  ## 0.0.3

  - First version. Released on an unsuspecting world.
basic-deps:
  base: ! '>=4.7 && <4.14'
all-versions:
- 0.0.3
author: Oleg Grenrus <oleg.grenrus@iki.fi>
latest: 0.0.3
description-type: haddock
description: |-
  This package provides a @Dec@ type.

  @
  type Not a = a -> Void

  data Dec a
  \    = Yes a
  \    | No (Not a)
  @
license-name: BSD-3-Clause

homepage: https://github.com/phadej/vec
changelog-type: markdown
hash: 1a822a19129c1eca8d12a85e4d6fdc77625016ea6c3e8ce30f8d32e0972faeec
test-bench-deps: {}
maintainer: Oleg.Grenrus <oleg.grenrus@iki.fi>
synopsis: Decidable propositions.
changelog: |
  # Revision history for dec

  ## 0.0.3

  - First version. Released on an unsuspecting world.
basic-deps:
  base: ! '>=4.7 && <4.15'
all-versions:
- 0.0.3
author: Oleg Grenrus <oleg.grenrus@iki.fi>
latest: 0.0.3
description-type: haddock
description: |-
  This package provides a @Dec@ type.

  @
  type Not a = a -> Void

  data Dec a
  \    = Yes a
  \    | No (Not a)
  @
license-name: BSD-3-Clause

Update from Hackage at 2020-03-25T12:44:10Z
Update from Hackage at 2020-03-25T12:44:10Z
