1 files changed, 0 insertions, 41 deletions
diff --git a/stdlib/source/lux/macro/syntax/check.lux b/stdlib/source/lux/macro/syntax/check.lux
deleted file mode 100644
index d3007b2b8..000000000
--- a/stdlib/source/lux/macro/syntax/check.lux
+++ /dev/null
@@ -1,41 +0,0 @@
-(.module:
-  [lux #*
-   ["." meta]
-   [abstract
-    [equivalence (#+ Equivalence)]
-    [monad (#+ do)]]
-   [control
-    ["." exception (#+ exception:)]
-    ["<>" parser
-     ["<.>" code (#+ Parser)]]]
-   [data
-    ["." product]]
-   [macro
-    ["." code]]])
-
-(def: extension
-  "lux check")
-
-(type: #export Check
-  {#type Code
-   #value Code})
-
-(def: #export equivalence
-  (Equivalence Check)
-  ($_ product.equivalence
-      code.equivalence
-      code.equivalence
-      ))
-
-(def: #export (format (^slots [#type #value]))
-  (-> Check Code)
-  (` ((~ (code.text ..extension))
-      (~ type)
-      (~ value))))
-
-(def: #export parser
-  (Parser Check)
-  (<| <code>.form
-      (<>.after (<code>.text! ..extension))
-      (<>.and <code>.any
-              <code>.any)))