aboutsummaryrefslogtreecommitdiff
path: root/another.lang
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--another.lang5
1 files changed, 0 insertions, 5 deletions
diff --git a/another.lang b/another.lang
index 9ff9f8885..ff5bb6f0a 100644
--- a/another.lang
+++ b/another.lang
@@ -2,8 +2,3 @@
## (ann id #type (All [x] (-> [x] x)))
(def (id x)
x)
-
-#( (def (id x)
- (let return "RETURN"
- return))
- )#