1 files changed, 0 insertions, 47 deletions
diff --git a/new-luxc/source/luxc/lang.lux b/new-luxc/source/luxc/lang.lux
index 1060eeb8e..28dd302c2 100644
--- a/new-luxc/source/luxc/lang.lux
+++ b/new-luxc/source/luxc/lang.lux
@@ -13,53 +13,6 @@
        (lang (type ["tc" check])))
   (luxc (lang ["la" analysis])))
 
-(type: #export Eval
-  (-> Type Code (Meta Top)))
-
-(def: #export (pl-get key table)
-  (All [a] (-> Text (List [Text a]) (Maybe a)))
-  (case table
-    #.Nil
-    #.None
-
-    (#.Cons [k' v'] table')
-    (if (text/= key k')
-      (#.Some v')
-      (pl-get key table'))))
-
-(def: #export (pl-contains? key table)
-  (All [a] (-> Text (List [Text a]) Bool))
-  (case (pl-get key table)
-    (#.Some _)
-    true
-
-    #.None
-    false))
-
-(def: #export (pl-put key val table)
-  (All [a] (-> Text a (List [Text a]) (List [Text a])))
-  (case table
-    #.Nil
-    (list [key val])
-
-    (#.Cons [k' v'] table')
-    (if (text/= key k')
-      (#.Cons [key val]
-              table')
-      (#.Cons [k' v']
-              (pl-put key val table')))))
-
-(def: #export (pl-update key f table)
-  (All [a] (-> Text (-> a a) (List [Text a]) (List [Text a])))
-  (case table
-    #.Nil
-    #.Nil
-
-    (#.Cons [k' v'] table')
-    (if (text/= key k')
-      (#.Cons [k' (f v')] table')
-      (#.Cons [k' v'] (pl-update key f table')))))
-
 (def: (normalize-char char)
   (-> Nat Text)
   (case char