@hackage / open-witness

open witnesses

Latest0.7

About

Metadata

  • Last updated , by AshleyYakeley
  • License BSD-2-Clause

  • Maintained by: <ashley@semantic.org>

  • Lottery factor: 1

Links

Installation

Tested Compilers

  1. 9.10.1
  2. 9.8.4

Readme

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 2008 draft paper Witnesses and Open Witnesses (https://semantic.org/wp-content/uploads/Open-Witnesses.pdf).