package coq-continuations
A toolkit to reason with programs raising exceptions
Install
Dune Dependency
Authors
Maintainers
Sources
v8.9.0.tar.gz
md5=09c9cc6422b3a07d418fe468138a3489
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