diff options
| author | Eduardo Julian | 2021-06-30 23:24:55 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-06-30 23:24:55 -0400 |
| commit | 744ee69630de59ca3ba660b0aab6361cd17ce1b4 (patch) | |
| tree | 329c11b8c3522c319c99ebd4d7c51ee0e7464bae /stdlib/source/program/aedifex/artifact | |
| parent | 6633cd42f2892ea71530ddeeb93a7e7c0b59faa3 (diff) | |
"signature:" -> "interface:" & "structure:" -> "implementation:"
"signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/snapshot.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/time/date.lux | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux index 0488d76dd..836365fed 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot.lux @@ -18,7 +18,7 @@ #Local (#Remote Stamp)) -(structure: any_equivalence +(implementation: any_equivalence (Equivalence Any) (def: (= _ _) diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux index 989abb5fc..655b8f6c2 100644 --- a/stdlib/source/program/aedifex/artifact/time/date.lux +++ b/stdlib/source/program/aedifex/artifact/time/date.lux @@ -56,7 +56,7 @@ (-> Date date.Date) (|>> :representation)) - (structure: #export equivalence + (implementation: #export equivalence (Equivalence Date) (def: (= reference subject) |