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