Package Info

ghc-open-witness

install

Open witnesses

Development/Languages/Other
Open witnesses are witnesses that can witness to any type. However, they cannot
be constructed, they can only be generated in the IO monad. See the paper
/Witnesses and Open Witnesses/
(<http://semantic.org/stuff/Open-Witnesses.pdf>).
License: BSD-3-Clause
URL: https://hackage.haskell.org/package/open-witness

Categories

Development Languages Other

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.4-bp150.1.5 info GA Release 2018-07-30 15
  • AArch64
  • ppc64le
  • x86-64
  • ghc-open-witness
  • ghc-open-witness-devel