|
arrowm
|
Towards ackerman function at the module level
|
2021-07-24 17:44:13 +02:00 |
|
boardgames
|
Few boardgames
|
2021-07-24 17:46:26 +02:00 |
|
chess
|
Teaching chess to OCaml typechecker, step 1
|
2021-10-22 17:32:09 +02:00 |
|
turing
|
correct search bb3
|
2026-04-10 14:29:57 +02:00 |
|
units
|
Axiomatic units: more module types
|
2021-07-24 17:41:48 +02:00 |
|
.gitignore
|
Units: si arithmetic
|
2021-07-22 23:38:52 +02:00 |
|
dune-project
|
Units: si arithmetic
|
2021-07-22 23:38:52 +02:00 |
