aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/project.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex/project.lux')
-rw-r--r--stdlib/source/program/aedifex/project.lux12
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