summaryrefslogtreecommitdiff
path: root/compiler/InterpreterStatements.mli (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-30Remove the cps.eval_result typeSon Ho1-1/+3
2024-05-24Rename meta into spanAymeric Fromherz1-1/+1
2024-05-23Update the interpreter so that it is not written in CPS style (#120)Escherichia1-3/+7
2024-03-28formattingEscherichia1-1/+2
2024-03-28Should answer all comments, there are still some TODO: error message leftEscherichia1-1/+1
2024-03-28Inverted meta and config argument orders (from meta -> config to config -> meta)Escherichia1-2/+2
2024-03-28WIP: translate.ml and extract.ml do not compile. Some assert left to do and w...Escherichia1-2/+2
2023-11-27Fix the issues with the cross-references for OCaml docSon Ho1-1/+1
2023-11-15Start updating the name type, cleanup the names and the module abbrevsSon Ho1-21/+14
2023-09-17Normalize the function signatures before translation to pureSon Ho1-13/+0
2023-08-31Start adding support for traitsSon Ho1-1/+5
2023-08-02Make progress proapagating the changesSon Ho1-1/+2
2023-02-03Fix the comments for ocamldocSon Ho1-2/+3
2023-02-03Make progress on Interpreter.mlSon Ho1-1/+4
2023-02-03Start implementing support for loopsSon Ho1-2/+1
2022-11-07Add some .mli filesSon Ho1-0/+63
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 21:30:19 +0000