|
default
|
wip fix /terms
|
2026-02-10 15:52:47 +01:00 |
|
secrets
|
mv data/ default/
|
2026-02-10 14:42:53 +01:00 |
|
src
|
hash: use of_raw_string_opt
|
2026-02-10 17:11:39 +01:00 |
|
test
|
hash: use of_raw_string_opt
|
2026-02-10 17:11:39 +01:00 |
|
tools
|
~ offline tool
|
2026-02-10 15:18:20 +01:00 |
|
.gitignore
|
mv data/ default/
|
2026-02-10 14:42:53 +01:00 |
|
.ocamlformat
|
use logs + add static.ml + fmt
|
2025-11-30 12:46:06 +01:00 |
|
dune-project
|
use logs + add static.ml + fmt
|
2025-11-30 12:46:06 +01:00 |
|
LICENSE
|
add license + dune-project
|
2025-09-21 17:44:14 +02:00 |
|
mte.opam
|
use logs + add static.ml + fmt
|
2025-11-30 12:46:06 +01:00 |
