homepage: ''
changelog-type: ''
hash: 1fe97d2a805dc01469ebe441ef52a67d27d8b59ec0337a8f00f6fc79e7a0a3c0
test-bench-deps: {}
maintainer: konn.jinro_at_gmail.com
synopsis: Proof assistant for Haskell using DataKinds & PolyKinds
changelog: ''
basic-deps:
  base: ! '>=4 && <5'
  semigroups: ==0.18.*
  singletons: -any
  th-extras: ==0.0.*
  template-haskell: ! '>=2.11 && <2.16'
all-versions:
- 0.6.0.0
author: Hiromi ISHII
latest: 0.6.0.0
description-type: haddock
description: A simple convenient library to write equational / preorder proof as in
  Agda. This package depends on @singletons@ and generates induction schemes.
license-name: BSD-3-Clause

Update from Hackage at 2019-02-08T13:59:35Z
Update from Hackage at 2019-02-08T13:59:35Z
