diff options
author | Eduardo Julian | 2015-01-03 11:24:14 -0400 |
---|---|---|
committer | Eduardo Julian | 2015-01-03 11:24:14 -0400 |
commit | 661c70e4d786e7b2188564beddc586f1a50e4656 (patch) | |
tree | fe3aff74ffa526d455b7e22d7015573dc926f5f1 /another.lang | |
parent | 212dd66966a873e3d7183b071f719ef58e4d88fe (diff) |
The language officially has a name: Lux (stylized as "lux").
Diffstat (limited to 'another.lang')
-rw-r--r-- | another.lang | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/another.lang b/another.lang deleted file mode 100644 index ff5bb6f0a..000000000 --- a/another.lang +++ /dev/null @@ -1,4 +0,0 @@ - -## (ann id #type (All [x] (-> [x] x))) -(def (id x) - x) |