|Version on this page:||0.4.0.1|
|LTS Haskell 20.24:||0.6|
|Stackage Nightly 2023-06-08:||0.6|
|Latest on Hackage:||0.6|
This version can be pinned in stack with:
Module documentation for 0.4.0.1
Depends on 7 packages(full list with versions):
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).