You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
zseri cfaca6d8af initial commit (rollup) 6 months ago
automat initial commit (rollup) 6 months ago
.gitignore initial commit (rollup) 6 months ago
LICENSE initial commit (rollup) 6 months ago
aexample.ml initial commit (rollup) 6 months ago
binom.ml initial commit (rollup) 6 months ago
default.nix initial commit (rollup) 6 months ago
dune initial commit (rollup) 6 months ago
dune-project initial commit (rollup) 6 months ago
flake.lock initial commit (rollup) 6 months ago
flake.nix initial commit (rollup) 6 months ago
grtest1.ml initial commit (rollup) 6 months ago
grtest2.ml initial commit (rollup) 6 months ago
grtest3.ml initial commit (rollup) 6 months ago
index.nix initial commit (rollup) 6 months ago
shell.nix initial commit (rollup) 6 months ago
zseri-ocaml-scratch.opam initial commit (rollup) 6 months ago