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