]>
| -rw-r--r-- | 7 | .gitignore | blob | history | raw |
| -rw-r--r-- | 1064 | .ocamlformat | blob | history | raw |
| -rw-r--r-- | 34523 | COPYING-AGPL-3.0 | blob | history | raw |
| -rw-r--r-- | 2093 | README.txt | blob | history | raw |
| drwxr-xr-x | - | automata | tree | history |
| drwxr-xr-x | - | bin | tree | history |
| -rw-r--r-- | 526 | dune-project | blob | history | raw |