1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/lux/math/logic/continuous.lux b/stdlib/source/lux/math/logic/continuous.lux
index 6e9de446a..9665f2561 100644
--- a/stdlib/source/lux/math/logic/continuous.lux
+++ b/stdlib/source/lux/math/logic/continuous.lux
@@ -1,39 +1,39 @@
 (.module:
   lux
-  (lux (data [number "Deg/" Interval<Deg>])))
+  (lux (data [number "Rev/" Interval<Rev>])))
 
-(def: #export ~true Deg Deg/top)
-(def: #export ~false Deg Deg/bottom)
+(def: #export ~true Rev Rev/top)
+(def: #export ~false Rev Rev/bottom)
 
 (do-template [<name> <chooser>]
   [(def: #export <name>
-     (-> Deg Deg Deg)
+     (-> Rev Rev Rev)
      <chooser>)]
 
-  [~and d/min]
-  [~or  d/max]
+  [~and r/min]
+  [~or  r/max]
   )
 
 (def: #export (~not input)
-  (-> Deg Deg)
-  (d/- input ~true))
+  (-> Rev Rev)
+  (r/- input ~true))
 
 (def: #export (~implies consequent antecedent)
-  (-> Deg Deg Deg)
+  (-> Rev Rev Rev)
   (~or (~not antecedent)
        consequent))
 
 (def: #export (includes~ sub super)
-  (-> Deg Deg Deg)
+  (-> Rev Rev Rev)
   (let [-sub (~not sub)
-        sum (d/+ -sub super)
-        no-overflow? (and (d/>= -sub sum)
-                          (d/>= super sum))]
+        sum (r/+ -sub super)
+        no-overflow? (and (r/>= -sub sum)
+                          (r/>= super sum))]
     (if no-overflow?
       sum
       ~true)))
 
 (def: #export (~= left right)
-  (-> Deg Deg Deg)
+  (-> Rev Rev Rev)
   (~and (~or (~not left) right)
         (~or left (~not right))))