Sat, 14 Jul 2018 15:34:41 +0100 |
Tony Garnock-Jones |
Initial sketch of letrec support in pe3.rkt
|
file |
diff |
annotate
|
Wed, 11 Jul 2018 18:01:19 +0100 |
Tony Garnock-Jones |
Figure out an approach to something equivalent (?) to alpha-renaming
|
file |
diff |
annotate
|
Wed, 11 Jul 2018 16:27:37 +0100 |
Tony Garnock-Jones |
Experimental purity tracking in pe3.rkt; failing test cases (!)
|
file |
diff |
annotate
|
Wed, 11 Jul 2018 10:35:49 +0100 |
Tony Garnock-Jones |
Small `if` pe3.rkt example
|
file |
diff |
annotate
|
Wed, 11 Jul 2018 10:19:52 +0100 |
Tony Garnock-Jones |
More pe3.rkt examples
|
file |
diff |
annotate
|
Wed, 11 Jul 2018 00:04:08 +0100 |
Tony Garnock-Jones |
Repair pe3.rkt along lines suggested by pe3.hs
|
file |
diff |
annotate
|
Tue, 10 Jul 2018 22:44:28 +0100 |
Tony Garnock-Jones |
Fix type error in pe3.rkt
|
file |
diff |
annotate
|
Tue, 10 Jul 2018 14:45:41 +0100 |
Tony Garnock-Jones |
Refined example, pinpointing the problem, which is the hacky transfer of history information into the environment.
|
file |
diff |
annotate
|
Tue, 10 Jul 2018 13:57:32 +0100 |
Tony Garnock-Jones |
Quote reconstructed s-exp for Lit AST node
|
file |
diff |
annotate
|
Sun, 08 Jul 2018 20:21:10 +0100 |
Tony Garnock-Jones |
Failing test case to continue with
|
file |
diff |
annotate
|
Sun, 08 Jul 2018 20:03:45 +0100 |
Tony Garnock-Jones |
Fixes
|
file |
diff |
annotate
|
Sun, 08 Jul 2018 18:33:01 +0100 |
Tony Garnock-Jones |
New approach to partial evaluation
|
file |
diff |
annotate
|