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