diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/dependency.lux | 22 | ||||
-rw-r--r-- | stdlib/source/program/aedifex/dependency/status.lux | 8 |
2 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/program/aedifex/dependency.lux b/stdlib/source/program/aedifex/dependency.lux index 2b207cbcd..860493d55 100644 --- a/stdlib/source/program/aedifex/dependency.lux +++ b/stdlib/source/program/aedifex/dependency.lux @@ -29,17 +29,17 @@ (Equivalence Dependency) (at hash equivalence)) -(implementation: .public order +(def: .public order (Order Dependency) + (implementation + (def: equivalence + ..equivalence) - (def: equivalence - ..equivalence) - - (def: (< reference subject) - (<| (or (//#< (the #artifact reference) - (the #artifact subject))) - - (and (//#= (the #artifact reference) + (def: (< reference subject) + (<| (or (//#< (the #artifact reference) (the #artifact subject))) - (text#< (the #type reference) - (the #type subject))))) + + (and (//#= (the #artifact reference) + (the #artifact subject))) + (text#< (the #type reference) + (the #type subject)))))) diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux index 1a76605d0..f36f85fe2 100644 --- a/stdlib/source/program/aedifex/dependency/status.lux +++ b/stdlib/source/program/aedifex/dependency/status.lux @@ -17,11 +17,11 @@ (Hash MD5))} {#Verified (Hash SHA-1) (Hash MD5)})) -(implementation: any_equivalence +(def: any_equivalence (Equivalence Any) - - (def: (= _ _) - true)) + (implementation + (def: (= _ _) + true))) (def: .public equivalence (Equivalence Status) |