@zacharyzsparks why aren't type classes enough for this? @ccshan
@acfoltzer I am intrigued by this tweet, but I can't see the beginning of the conversation! Happy to answer questions though...
-
-
@edwinbrady ah, likely because of a protected account. @zacharyzsparks wants polymorphic constructors, eg http://pastebin.com/DUvLkczn -
@acfoltzer Oh, I see. Yes, not a problem for Idris, Agda, Coq, etc... /cc@zacharysparks
End of conversation
New conversation -
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.