2 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux
index 7784faa1f..b9fde212c 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot.lux
@@ -21,11 +21,11 @@
    {#Local}
    {#Remote Stamp}))
 
-(implementation: any_equivalence
+(def: any_equivalence
   (Equivalence Any)
-
-  (def: (= _ _)
-    true))
+  (implementation
+   (def: (= _ _)
+     true)))
 
 (def: .public equivalence
   (Equivalence Snapshot)
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index 85dee4278..de20211f2 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -57,12 +57,12 @@
     (-> Date date.Date)
     (|>> representation))
 
-  (implementation: .public equivalence
+  (def: .public equivalence
     (Equivalence Date)
-
-    (def: (= reference subject)
-      (date#= (representation reference)
-              (representation subject))))
+    (implementation
+     (def: (= reference subject)
+       (date#= (representation reference)
+               (representation subject)))))
 
   (def: .public (format value)
     (%.Format Date)