https://github.com/fredokun/arbogen
Tip revision: 60810558567963ea6386a075e8a8c353115cc40b authored by Frederic Peschanski on 17 April 2023, 09:33:44 UTC
more poset specs
more poset specs
Tip revision: 6081055
File | Mode | Size |
---|---|---|
benchs | ||
examples | ||
src | ||
tests | ||
.gitignore | -rw-r--r-- | 86 bytes |
.ocamlformat | -rw-r--r-- | 71 bytes |
AUTHORS | -rw-r--r-- | 623 bytes |
LICENSE.txt | -rw-r--r-- | 17.7 KB |
Makefile | -rw-r--r-- | 685 bytes |
README.md | -rw-r--r-- | 2.6 KB |
arbogen.opam | -rw-r--r-- | 835 bytes |
dune-project | -rw-r--r-- | 526 bytes |