aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/lux/abstract/apply.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-09-04 12:49:52 -0400
committerEduardo Julian2021-09-04 12:49:52 -0400
commitfc8bebd3b3c5f050ea92e72eecbd9f6df09f28db (patch)
tree24858adac0e67228620b7e9166e3b7335be9fd5a /stdlib/source/specification/lux/abstract/apply.lux
parent891b1cfc82322f8017f0a4f6b707d6fe52024545 (diff)
De-taggification | part 2
Diffstat (limited to '')
-rw-r--r--stdlib/source/specification/lux/abstract/apply.lux10
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux
index 007e4800a..594a42253 100644
--- a/stdlib/source/specification/lux/abstract/apply.lux
+++ b/stdlib/source/specification/lux/abstract/apply.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." function]]
[math
@@ -11,9 +11,9 @@
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Apply)]]
+ ["." / {"+" [Apply]}]]
[//
- [functor (#+ Injection Comparison)]])
+ [functor {"+" [Injection Comparison]}]])
(def: (identity injection comparison (^open "\."))
(All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))