GitHub - d3sprog/choose-your-own-adventure: :black_nib: A work-in-progress paper draft "The Choose-your-own-adventure calculus". Based on a blog post linked below.

d3sprog / choose-your-own-adventure Public

✒️ A work-in-progress paper draft "The Choose-your-own-adventure calculus". Based on a blog post linked below.

tomasp.net/blog/2025/adventure-calculus/

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
fig		fig
template		template
.gitignore		.gitignore
build.fsx		build.fsx
build.sh		build.sh
cc-by.pdf		cc-by.pdf
lipics-logo-bw.pdf		lipics-logo-bw.pdf
lipics-v2021.cls		lipics-v2021.cls
orcid.pdf		orcid.pdf
paper.bib		paper.bib
paper.pdf		paper.pdf
paper.tex		paper.tex