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) 2 years ago
automat initial commit (rollup) 2 years ago
.gitignore initial commit (rollup) 2 years ago
LICENSE initial commit (rollup) 2 years ago
aexample.ml initial commit (rollup) 2 years ago
binom.ml initial commit (rollup) 2 years ago
default.nix initial commit (rollup) 2 years ago
dune initial commit (rollup) 2 years ago
dune-project initial commit (rollup) 2 years ago
flake.lock initial commit (rollup) 2 years ago
flake.nix initial commit (rollup) 2 years ago
grtest1.ml initial commit (rollup) 2 years ago
grtest2.ml initial commit (rollup) 2 years ago
grtest3.ml initial commit (rollup) 2 years ago
index.nix initial commit (rollup) 2 years ago
shell.nix initial commit (rollup) 2 years ago
zseri-ocaml-scratch.opam initial commit (rollup) 2 years ago