diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/abstract/functor.lux | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/stdlib/source/lux/abstract/functor.lux b/stdlib/source/lux/abstract/functor.lux index a9fc6796c..9ba47aaf8 100644 --- a/stdlib/source/lux/abstract/functor.lux +++ b/stdlib/source/lux/abstract/functor.lux @@ -42,9 +42,3 @@ (structure (def: (map f fga) (f@map (g@map f) fga)))) - -(signature: #export (Contravariant f) - (: (All [a b] - (-> (-> b a) - (-> (f a) (f b)))) - map-1)) |