summaryrefslogtreecommitdiff
path: root/src/Substitute.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove the vector type for the Id moduleSon Ho2021-11-301-11/+6
* Test the unit functionsSon Ho2021-11-291-1/+1
* Make various improvements in PrintSon Ho2021-11-291-18/+0
* Start working logging and make progress on printing ASTsSon Ho2021-11-291-1/+1
* Update the env definition to make the frames easier to manipulateSon Ho2021-11-261-0/+1
* Implement type substitution for function definitions (and expressions,Son Ho2021-11-251-1/+122
* Start working on function callsSon Ho2021-11-251-4/+23
* Implement the Aggregate branch of eval_rvalueSon Ho2021-11-251-1/+9
* Implement various substitution functionsSon Ho2021-11-251-42/+54
* Commit Substitute.ml (forgotten in previous commit)Son Ho2021-11-251-0/+72