aboutsummaryrefslogtreecommitdiff
path: root/source/another.lux
diff options
context:
space:
mode:
Diffstat (limited to 'source/another.lux')
-rw-r--r--source/another.lux4
1 files changed, 0 insertions, 4 deletions
diff --git a/source/another.lux b/source/another.lux
deleted file mode 100644
index ff5bb6f0a..000000000
--- a/source/another.lux
+++ /dev/null
@@ -1,4 +0,0 @@
-
-## (ann id #type (All [x] (-> [x] x)))
-(def (id x)
- x)