Proposal to generalize #Haskell do-notation to applicatives: http://ghc.haskell.org/trac/ghc/wiki/ApplicativeDo … - enabled by the new Applicative superclass for Monad
-
-
This Tweet is unavailable.
-
Replying to @raichoo
@raichoo@puffnfresh I really like idiom brackets. I can't being myself to use SHE practically, but it's be nice.1 reply 0 retweets 0 likes -
-
This Tweet is unavailable.
-
Replying to @raichoo
@raichoo@milessabin@sdbo@puffnfresh Wait, what's going on there? Is it like the alt in SHE?1 reply 0 retweets 0 likes
Replying to @pdxleif
@pdxleif @raichoo @milessabin @sdbo @puffnfresh It's not the same - it's a compile time choice which can be used for proof search
12:44 PM - 9 Jun 2014
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.