diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/program/aedifex/profile.lux | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index d4e33267d..9729514f2 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -2,10 +2,11 @@ [lux (#- Info Source Module Name) [abstract [monoid (#+ Monoid)] - ["." equivalence (#+ Equivalence)]] + [equivalence (#+ Equivalence)]] [control ["." exception (#+ exception:)]] [data + ["." product] ["." maybe ("#\." monoid)] ["." text] [collection @@ -50,7 +51,7 @@ (def: license-equivalence (Equivalence License) - ($_ equivalence.product + ($_ product.equivalence text.equivalence text.equivalence ..distribution-equivalence)) @@ -64,7 +65,7 @@ (def: organization-equivalence (Equivalence Organization) - ($_ equivalence.product + ($_ product.equivalence text.equivalence text.equivalence)) @@ -78,7 +79,7 @@ (def: developer-equivalence (Equivalence Developer) - ($_ equivalence.product + ($_ product.equivalence text.equivalence text.equivalence (maybe.equivalence ..organization-equivalence))) @@ -97,7 +98,7 @@ (def: info-equivalence (Equivalence Info) - ($_ equivalence.product + ($_ product.equivalence (maybe.equivalence text.equivalence) (maybe.equivalence text.equivalence) (maybe.equivalence text.equivalence) @@ -151,7 +152,7 @@ (def: #export equivalence (Equivalence Profile) - ($_ equivalence.product + ($_ product.equivalence ## #parents (list.equivalence text.equivalence) ## #identity |