diff options
| author |  Peter McGoron
| 2025-07-03 18:56:49 -0400 |
|---|---|---|
| committer | Peter McGoron
| 2025-07-03 18:56:49 -0400 |
| commit | 89371cdb2e9308025a5b2e48e23711e0108bf442 (patch) | |
| tree | 7a47560ec08b805598dc87a6d3d238f369c3912c /test/run.scm | |
| parent | add inject-primitive (diff) | |
debruijnize converts functions to curry form
Diffstat (limited to 'test/run.scm')
| -rw-r--r-- | test/run.scm | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/test/run.scm b/test/run.scm index e6055c0..ff3f2ce 100644 --- a/test/run.scm +++ b/test/run.scm @@ -31,14 +31,3 @@ (load "examples/untyped-lambda-calculus.sld") (import (multisyntax examples untyped-lambda-calculus test)) (test-untyped-lambda-calculus) - -#;(let-values (((global-map expanded-list) - (expand initial-environment - (list (empty-wrap '(define I (lambda x x))) - (empty-wrap '(I (lambda I I))))))) - (display (alpha expanded-list)) (newline)) - -#;(begin - (load "examples/untyped-lambda-calculus.sld") - (import (multisyntax examples untyped-lambda-calculus test)) - (test-untyped-lambda-calculus)) |