diff options
| author | Eduardo Julian | 2022-06-12 13:33:48 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-12 13:33:48 -0400 |
| commit | 8c3a1afab9efeb86e2f53d743551fc689fbad257 (patch) | |
| tree | 396b2fd29bac407544d2136a0d9e6e3b8b2c30af /stdlib/source/program/aedifex/project.lux | |
| parent | 9c21fd1f33eb52fb971d493ad21a67036d68b841 (diff) | |
De-sigil-ification: suffix : [Part 4]
Diffstat (limited to 'stdlib/source/program/aedifex/project.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/project.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux index 51288af15..209ee225a 100644 --- a/stdlib/source/program/aedifex/project.lux +++ b/stdlib/source/program/aedifex/project.lux @@ -32,14 +32,14 @@ (Equivalence Project) (dictionary.equivalence //.equivalence)) -(implementation: .public monoid +(def: .public monoid (Monoid Project) + (implementation + (def: identity + (dictionary.empty text.hash)) - (def: identity - (dictionary.empty text.hash)) - - (def: composite - (dictionary.composite_with (at //.monoid composite)))) + (def: composite + (dictionary.composite_with (at //.monoid composite))))) (exception: .public (unknown_profile [name Name]) (exception.report |