Name		Name	Last commit message	Last commit date
app		app
dev-docs		dev-docs
docs		docs
lib/haskell-rules		lib/haskell-rules
progs		progs
src		src
tex		tex
.gitignore		.gitignore
IMG_0856.HEIC		IMG_0856.HEIC
README.md		README.md
build-docs.sh		build-docs.sh
chatgptprompt.md		chatgptprompt.md
deleteme.txt		deleteme.txt
judge_manip_rules.txt		judge_manip_rules.txt
op_sem_rules_new.txt		op_sem_rules_new.txt
spec_backup.tex		spec_backup.tex
xrs.cabal		xrs.cabal