aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/specification/compositor/common.lux6
-rw-r--r--stdlib/source/specification/lux/abstract/functor.lux4
2 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index 34e5aa19b..e6913e8df 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -19,13 +19,13 @@
[default
["[0]" platform (.only Platform)]]]]])
-(type: .public Runner
+(type .public Runner
(-> Text Synthesis (Try Any)))
-(type: .public Definer
+(type .public Definer
(-> Symbol Synthesis (Try Any)))
-(type: .public (Instancer what)
+(type .public (Instancer what)
(All (_ anchor expression directive)
(-> (Platform IO anchor expression directive)
(generation.State+ anchor expression directive)
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux
index 935c37f98..e1be8eba2 100644
--- a/stdlib/source/specification/lux/abstract/functor.lux
+++ b/stdlib/source/specification/lux/abstract/functor.lux
@@ -14,10 +14,10 @@
[\\library
["[0]" / (.only Functor)]])
-(type: .public (Injection f)
+(type .public (Injection f)
(All (_ a) (-> a (f a))))
-(type: .public (Comparison f)
+(type .public (Comparison f)
(All (_ a)
(-> (Equivalence a)
(Equivalence (f a)))))