summaryrefslogtreecommitdiff
path: root/src/Translate.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Change the signatures of several functions in Interpreter.mlSon Ho2022-01-271-14/+9
* Implement Translate.translate_module_to_pureSon Ho2022-01-271-5/+17
* Implement Translate.translate_functionSon Ho2022-01-271-13/+145
* Start working on TranslateSon Ho2022-01-271-33/+24
* Make progress on translationSon Ho2022-01-261-8/+18
* Make progress on translationSon Ho2022-01-261-0/+46