package coq-continuations
A toolkit to reason with programs raising exceptions
Install
Dune Dependency
Authors
Maintainers
Sources
v8.7.0.tar.gz
md5=1a6170334b8f2b0dbd73386952cb2d83
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.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page