Nathanaël Courant
|
c80b7ee60f
|
Fix incorrect computation of free variables for 'LLetrecfun
|
2021-01-08 12:35:23 +01:00 |
|
Nathanaël Courant
|
755ac6a4d4
|
General function application
|
2020-12-30 16:55:29 +01:00 |
|
Gabriel Scherer
|
d47ff5c47f
|
substitution-on-the-fly as a generalization of the (let x = y in ...) optimization
|
2020-12-19 07:17:43 +01:00 |
|
Gabriel Scherer
|
d5408c2a51
|
more functions.ml nitpicks
|
2020-12-17 14:32:13 +01:00 |
|
Gabriel Scherer
|
94387ffc7d
|
test: split functions.ml into sections
|
2020-12-17 14:29:54 +01:00 |
|
Gabriel Scherer
|
19255bce2c
|
split the test file into several testfiles
|
2020-12-12 12:04:37 +01:00 |
|