I often wish I'd used "interface" instead of "class" as the keyword in Idris, since they're not type classes. Perhaps it's not too late…
-
-
This Tweet is unavailable.
-
@lambdagrrl Amused is never negative :). I think they are closer to Java interfaces than Haskell classes in practice though.
End of 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.