ghuysmans/ocaml-blood
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Type-check blood group compatibility using GADTs
11 commits 2 branches 0 tags 38 KiB
  • OCaml 99.6%
  • Dune 0.4%
Find a file
Exact
Guillaume Huysmans 76c89fa304 Split Pair
2023-12-28 00:39:01 +01:00
bin Parse CLI input 2023-12-28 00:00:30 +01:00
lib Split Pair 2023-12-28 00:39:01 +01:00
.gitignore Split into bin/ and lib/ 2023-12-27 21:18:10 +01:00
dune-project Split into bin/ and lib/ 2023-12-27 21:18:10 +01:00
zip.ml Solve the zip problem using an existential type 2023-12-27 20:50:20 +01:00