Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2211.06863/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTChoice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq — HN submissionhttps://news.ycombinator.com/item?id=33621077urn:hackerpapers:submission:2211.06863:33621077Wed, 16 Nov 2022 10:32:41 GMT<p>Choice trees: Nondeterministic, recursive, and impure programs in Coq</p><p></p><p>56 points; 8 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2211.06863/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL