1 files changed, 0 insertions, 23 deletions
diff --git a/stdlib/source/lux/math/number/i8.lux b/stdlib/source/lux/math/number/i8.lux
deleted file mode 100644
index d6184315c..000000000
--- a/stdlib/source/lux/math/number/i8.lux
+++ /dev/null
@@ -1,23 +0,0 @@
-(.module:
-  [lux (#- i64)
-   [abstract
-    [equivalence (#+ Equivalence)]]
-   [data
-    ["." maybe]]
-   [type (#+ :by_example)]]
-  [//
-   ["." i64 (#+ Sub)]])
-
-(def: sub (maybe.assume (i64.sub 8)))
-
-(def: #export I8
-  (:by_example [size]
-               (Sub size)
-               ..sub
-               
-               (I64 size)))
-
-(def: #export equivalence (Equivalence I8) (\ ..sub &equivalence))
-(def: #export width Nat (\ ..sub width))
-(def: #export i8 (-> I64 I8) (\ ..sub narrow))
-(def: #export i64 (-> I8 I64) (\ ..sub widen))