diff options
| author | Eduardo Julian | 2020-12-12 01:40:48 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-12-12 01:40:48 -0400 |
| commit | 71ade9a07f08c0d61ebd70e64c2745f1ba33cb54 (patch) | |
| tree | 736b881f4b1db0775211baa5df611b9e40abeac1 /stdlib/source/program/aedifex/profile.lux | |
| parent | dff517cbdb9a1c80028782c62ad91c71ddb34909 (diff) | |
Removed several unnecessary imports.
Diffstat (limited to 'stdlib/source/program/aedifex/profile.lux')
| -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 |