summaryrefslogtreecommitdiff
path: root/compiler/InterpreterProjectors.mli (follow)
Commit message (Expand)AuthorAgeFilesLines
* Start updating the name type, cleanup the names and the module abbrevsSon Ho2023-11-151-32/+22
* Remove the 'r type variable from the ty type definitionSon Ho2023-11-121-3/+3
* Make progress proapagating the changesSon Ho2023-08-021-1/+10
* Fix the comments for ocamldocSon Ho2023-02-031-1/+1
* Make progress on the environment matchesSon Ho2023-02-031-1/+11
* Add some .mli filesSon Ho2022-11-071-0/+115