summaryrefslogtreecommitdiff
path: root/compiler/InterpreterExpressions.mli (unfollow)
Commit message (Expand)AuthorFilesLines
2022-11-11Fix some issues with the commentsSon Ho1-3/+3
2022-11-10Implement a Config.ml file which groups all the global options in referencesSon Ho1-2/+1
2022-11-10Update `switch` to have a specific treatment of ADTsSon Ho1-1/+39
2022-11-07Add some .mli filesSon Ho1-0/+37