To download packages, you need to log in and have a qualifying subscription.
ghc-open-witness
Open witnesses
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>).
BSD-3-Clausecloud_download Downloads
Please select a product to see the available package versions:Loading...
Loading package downloads...