GitHub - PLTools/sirius2024

Name		Name	Last commit message	Last commit date
Latest commit History 69 Commits
.github/workflows		.github/workflows
L0		L0
L1		L1
L2		L2
L3		L3
memo		memo
ppx_blob @ 513d847		ppx_blob @ 513d847
tasks		tasks
.cramrc		.cramrc
.gitignore		.gitignore
.gitmodules		.gitmodules
.ocamlformat		.ocamlformat
.ocamlformat-enable		.ocamlformat-enable
DEV.md		DEV.md
README.md		README.md
ask.py		ask.py
client.ml		client.ml
dune		dune
dune-project		dune-project
expr.t		expr.t
funs.t		funs.t
hardcoded.py		hardcoded.py
index.html		index.html
loops.t		loops.t
main.py		main.py
ostap		ostap
setup.sh		setup.sh
test.t		test.t