remove conflicting fixity decl
commit05d24ffc16b78e229484d85f960092185c9f8138
authorMaxim Ivanov <ulidtko@gmail.com>
dateWed 17 Feb 2016, 21:07 (11 years ago)
parentf5457e0
libs/effects/Effects.idr−1
@@ -256,7 +256,6 @@ return x = Value x
256256-- ------------------------------------------------------ [ for idiom brackets ]
257257
258258infixl 2 <*>
259−infixl 2 <$>
260259
261260pure : a -> EffM m a xs (\v => xs)
262261pure = Value