QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity
866 Commits 35 Branches 29 Tags
6099566cfe4264bc8dbc9d385caded8b413f42b3
Commit Graph

2 Commits

Author SHA1 Message Date
Ulf Norell 6a59e455ce Update tests for entrypoints 2019-06-28 09:42:28 +02:00
Ulf Norell 23cc8e1132 Letrec and letfun (#65) 
* Type check and compile letfuns

* Minor code simplification

* Remove let rec from Sophia
 2019-05-10 13:27:57 +02:00