From 661c70e4d786e7b2188564beddc586f1a50e4656 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 3 Jan 2015 11:24:14 -0400
Subject: The language officially has a name: Lux (stylized as "lux").

---
 another.lang | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 another.lang

(limited to 'another.lang')

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)
-- 
cgit v1.2.3