This tag is the artifact associated to the submission to JFP:
Choice Trees: Representing and Reasoning About Nondeterministic, Recursive, and Impure Programs in Coq
Hyperlinks will therefore remain stable. However, we will push additional commits in the same branch to improve documentation and perform superficial cleaning: we will update the links for the final version, or intermediate rounds of reviewing.