diff options
Diffstat (limited to 'stdlib/source/specification/lux/abstract/functor.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/functor.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index b446b565c..a6c9f9d03 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]}] + ["_" test {"+" Test}] [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [do]}]] + [equivalence {"+" Equivalence}] + [monad {"+" do}]] [control ["[0]" function]] [math @@ -12,7 +12,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Functor]}]]) + ["[0]" / {"+" Functor}]]) (type: .public (Injection f) (All (_ a) (-> a (f a)))) |