package coq-continuations

  1. Overview
  2. Homepage
A toolkit to reason with programs raising exceptions

Install

Dune Dependency

Authors

Maintainers

Sources

v8.6.0.tar.gz
md5=048bd17ff2fd3e854c3c3384866430ad

Description

We show a way of developing correct functionnal programs raising exceptions. This is made possible using a Continuation Passing Style translation, see the contribution "exceptions" from P. Casteran at Bordeaux. Things are made easier and more modular using some general definitions.

Dependencies (2)

  1. coq >= "8.6" & < "8.7~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover