|
.gitignore
|
.gitignore files
|
2020-12-11 18:04:30 +03:00 |
|
.ocamlformat
|
move to dune; fix warnings
|
2023-09-04 21:43:28 +02:00 |
|
Driver.ml
|
move to dune; fix warnings
|
2023-09-04 21:43:28 +02:00 |
|
dune
|
move to dune; fix warnings
|
2023-09-04 21:43:28 +02:00 |
|
Language.ml
|
move to dune; fix warnings
|
2023-09-04 21:43:28 +02:00 |
|
Makefile
|
move to dune; fix warnings
|
2023-09-04 21:43:28 +02:00 |
|
Pprinter.ml
|
Disable pretty-printer in the compiler
|
2020-12-11 18:06:33 +03:00 |
|
SM.ml
|
Fixed generated symbols' names used for macOS
|
2024-07-11 15:19:22 +02:00 |
|
TODO
|
Continue with Spec
|
2020-02-05 20:49:50 +03:00 |
