1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/library/lux/math/logic/continuous.lux b/stdlib/source/library/lux/math/logic/continuous.lux
index e68527938..691890917 100644
--- a/stdlib/source/library/lux/math/logic/continuous.lux
+++ b/stdlib/source/library/lux/math/logic/continuous.lux
@@ -11,15 +11,15 @@
      [number
       ["/" rev ("#\." interval)]]]]])
 
-(def: #export false Rev /\bottom)
-(def: #export true  Rev /\top)
+(def: .public false Rev /\bottom)
+(def: .public true  Rev /\top)
 
 (template [<name> <chooser> <monoid> <identity>]
-  [(def: #export <name>
+  [(def: .public <name>
      (-> Rev Rev Rev)
      <chooser>)
 
-   (implementation: #export <monoid>
+   (implementation: .public <monoid>
      (Monoid Rev)
 
      (def: identity <identity>)
@@ -29,16 +29,16 @@
   [and /.min conjunction ..true]
   )
 
-(def: #export (not input)
+(def: .public (not input)
   (-> Rev Rev)
   (/.- input ..true))
 
-(def: #export (implies consequent antecedent)
+(def: .public (implies consequent antecedent)
   (-> Rev Rev Rev)
   (or (not antecedent)
       consequent))
 
-(def: #export (= left right)
+(def: .public (= left right)
   (-> Rev Rev Rev)
   (and (or (not left) right)
        (or left (not right))))