From 744ee69630de59ca3ba660b0aab6361cd17ce1b4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 30 Jun 2021 23:24:55 -0400
Subject: "signature:" -> "interface:" & "structure:" -> "implementation:"

"signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it.---
 stdlib/source/program/aedifex/dependency/status.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stdlib/source/program/aedifex/dependency/status.lux')

diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux
index 82d99e9aa..8c4db9ddd 100644
--- a/stdlib/source/program/aedifex/dependency/status.lux
+++ b/stdlib/source/program/aedifex/dependency/status.lux
@@ -15,7 +15,7 @@
                     (Hash MD5)))
   (#Verified (Hash SHA-1) (Hash MD5)))
 
-(structure: any_equivalence
+(implementation: any_equivalence
   (Equivalence Any)
 
   (def: (= _ _)
-- 
cgit v1.2.3