1 files changed, 0 insertions, 23 deletions
diff --git a/stdlib/source/spec/lux/abstract/hash.lux b/stdlib/source/spec/lux/abstract/hash.lux
deleted file mode 100644
index 4722a48a0..000000000
--- a/stdlib/source/spec/lux/abstract/hash.lux
+++ /dev/null
@@ -1,23 +0,0 @@
-(.module:
-  [library
-   [lux #*
-    ["_" test (#+ Test)]
-    [abstract
-     [monad (#+ do)]]
-    [data
-     ["." bit ("#\." equivalence)]]
-    [math
-     ["." random (#+ Random)]
-     [number
-      ["n" nat]]]]]
-  [\\library
-   ["." /]])
-
-(def: #export (spec (^open "\.") random)
-  (All [a] (-> (/.Hash a) (Random a) Test))
-  (do random.monad
-    [parameter random
-     subject random]
-    (_.cover [/.Hash]
-             (bit\= (\= parameter subject)
-                    (n.= (\hash parameter) (\hash subject))))))