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 |