diff options
Diffstat (limited to 'stdlib/source/specification/lux/abstract/functor.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/functor.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index 7d280e610..1186640fa 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [equivalence (#+ Equivalence)] - [monad (#+ do)]] + [equivalence {"+" [Equivalence]}] + [monad {"+" [do]}]] [control ["." function]] [math @@ -12,7 +12,7 @@ [number ["n" nat]]]]] [\\library - ["." / (#+ Functor)]]) + ["." / {"+" [Functor]}]]) (type: .public (Injection f) (All (_ a) (-> a (f a)))) |