diff options
Diffstat (limited to '')
| -rw-r--r-- | source/another.lux | 4 |
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) |