@zacharyzsparks it's not exactly what you're looking for, but the view patterns extension is close http://hackage.haskell.org/trac/ghc/wiki/ViewPatterns … /cc @ccshan
-
This Tweet is unavailable.
-
-
This Tweet is unavailable.
-
Replying to @_seasparks
@zacharyzsparks
@ccshan@carloangiuli I just consed (heh heh#atheism) this up https://gist.github.com/acfoltzer/5491469 …2 replies 0 retweets 0 likes -
This Tweet is unavailable.
-
Replying to @_seasparks
@zacharyzsparks
@ccshan@carloangiuli I think I need a concrete example, but my guess is implicit args4 replies 0 retweets 0 likes -
This Tweet is unavailable.
-
Replying to @_seasparks
@zacharyzsparks
@carloangiuli idris does exactly this, but I'm not sure by what means /cc@edwinbrady2 replies 0 retweets 0 likes -
Replying to @acfoltzer
@acfoltzer I am intrigued by this tweet, but I can't see the beginning of the conversation! Happy to answer questions though...1 reply 0 retweets 1 like -
Replying to @edwinbrady
@edwinbrady ah, likely because of a protected account. @zacharyzsparks wants polymorphic constructors, eg http://pastebin.com/DUvLkczn1 reply 0 retweets 0 likes
@acfoltzer Oh, I see. Yes, not a problem for Idris, Agda, Coq, etc... /cc @zacharysparks
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.