diff options
Diffstat (limited to 'stdlib/source/spec/lux/abstract/comonad.lux')
| -rw-r--r-- | stdlib/source/spec/lux/abstract/comonad.lux | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/stdlib/source/spec/lux/abstract/comonad.lux b/stdlib/source/spec/lux/abstract/comonad.lux index 7d68d7a24..85d00b8f2 100644 --- a/stdlib/source/spec/lux/abstract/comonad.lux +++ b/stdlib/source/spec/lux/abstract/comonad.lux @@ -1,13 +1,14 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / (#+ CoMonad)]] [// [functor (#+ Injection Comparison)]]) |