| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 6 | log stats plain blame |
| -rw-r--r-- | README.md | 4609 | log stats plain blame |
| d--------- | build | 35 | log stats plain |
| -rw-r--r-- | logic.modal | 71 | log stats plain blame |
| -rw-r--r-- | modal.c | 8479 | log stats plain blame |
| d--------- | ocaml | 347 | log stats plain |
| d--------- | tests | 103 | log stats plain |