git.iko.soy/Idris-dev
on master help sign in
remove conflicting fixity decl
05d24ffMaxim Ivanov
libs/effects/Effects.idr−1
compare with master
unifiedsplit
@@ -256,7 +256,6 @@ return x = Value x
256-- ------------------------------------------------------ [ for idiom brackets ]
256-- ------------------------------------------------------ [ for idiom brackets ]
257
257
258infixl 2 <*>
258infixl 2 <*>
259−infixl 2 <$>
260
259
261pure : a -> EffM m a xs (\v => xs)
260pure : a -> EffM m a xs (\v => xs)
262pure = Value
261pure = Value