From 44d6b01ebec431a3c16f30f8c7cfdb57caf18b0b Mon Sep 17 00:00:00 2001
From: mehbark <terezi@pyrope.net>
Date: Tue, 13 Jun 2023 14:39:00 -0400
Subject: [PATCH] shadow lambda

---
 shadow-lambda.slimp | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 shadow-lambda.slimp

diff --git a/shadow-lambda.slimp b/shadow-lambda.slimp
new file mode 100644
index 0000000..5f568bc
--- /dev/null
+++ b/shadow-lambda.slimp
@@ -0,0 +1 @@
+(forall (var body) (@ var body) (let var genslop (lambda var body)))