 Ulf Norell
|
6bd2b7c483
|
Remember source location when computing used names
|
2019-05-13 17:50:34 +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 |
|
|
Ulf Norell
|
27cbedc7ab
|
Further generalise used names computation
|
2019-02-08 14:16:06 +01:00 |
|
|
Ulf Norell
|
2ac47059c1
|
Refactor used_ids and used_types into a generic fold
|
2019-02-08 14:16:06 +01:00 |
|
|
Robert Virding
|
d4d02fd576
|
First test work commit, don't touch
|
2018-12-22 01:23:40 +01:00 |
|