Improved compilation of loops and pattern-matching for Python.

1 files changed, 0 insertions, 38 deletions

diff --git a/stdlib/source/test/aedifex/artifact/value.lux b/stdlib/source/test/aedifex/artifact/value.lux
deleted file mode 100644
index 10e9016b1..000000000
--- a/stdlib/source/test/aedifex/artifact/value.lux
+++ /dev/null
@@ -1,38 +0,0 @@
-(.module:
-  [lux #*
-   ["_" test (#+ Test)]
-   [abstract
-    [monad (#+ do)]
-    {[0 #spec]
-     [/
-      ["$." equivalence]]}]
-   [control
-    ["." try ("#\." functor)]
-    [parser
-     ["<.>" text]]]
-   [math
-    ["." random (#+ Random)]
-    [number
-     ["n" nat]
-     ["i" int]]]
-   [time
-    ["." instant]]]
-  {#program
-   ["." /]})
-
-(def: #export random
-  (Random /.Value)
-  ($_ random.and
-      (random.ascii/alpha 5)
-      random.instant
-      random.nat
-      ))
-
-(def: #export test
-  Test
-  (<| (_.covering /._)
-      (_.for [/.Build /.Value])
-      ($_ _.and
-          (_.for [/.equivalence]
-                 ($equivalence.spec /.equivalence ..random))
-          )))