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.
zapashcanon eb3e259bd8
remove spurious https://
2 months ago
src remove spurious https:// 2 months ago
.gitignore first commit 8 months ago
.ocamlformat use scfg configuration file, improve generated files 4 months ago
LICENSE.md first commit 8 months ago
dune-project use scfg configuration file, improve generated files 4 months ago
gotd.opam use scfg configuration file, improve generated files 4 months ago