diff options
author | Eduardo Julian | 2015-01-19 01:45:02 -0400 |
---|---|---|
committer | Eduardo Julian | 2015-01-19 01:45:02 -0400 |
commit | a14d86d958af652f7bc4ce669dffcc100d2a084c (patch) | |
tree | 1fa81db7a1d478ee2f1c72b107970250b0c8df0d /another.lux | |
parent | a1d619ac4679f246a92ee5e557ed1341f5629221 (diff) |
[Enhancements]
Source code is looked-up inside a "source" directory.
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) |