Added some explicit machinery for the Any type.

1 files changed, 0 insertions, 25 deletions

diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux
deleted file mode 100644
index 614b7439f..000000000
--- a/stdlib/source/specification/lux/abstract/mix.lux
+++ /dev/null
@@ -1,25 +0,0 @@
-(.require
- [library
-  [lux (.except)
-   [abstract
-    [monad (.only do)]
-    [functor
-     [\\test (.only Injection Comparison)]]]
-   [math
-    ["[0]" random]
-    [number
-     ["n" nat]]]
-   [test
-    ["_" property (.only Test)]]]]
- [\\library
-  ["[0]" /]])
-
-(def .public (spec injection comparison (open "/#[0]"))
-  (All (_ f) (-> (Injection f) (Comparison f) (/.Mix f) Test))
-  (do random.monad
-    [subject random.nat
-     parameter random.nat]
-    (<| (_.for [/.Mix])
-        (_.coverage [/.mix]
-          (n.= (/#mix n.+ parameter (injection subject))
-               (n.+ parameter subject))))))