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.
-
Replying to @lambdagrrl
@lambdagrrl hmm, that's the first negative response ;)1 reply 0 retweets 0 likes -
This Tweet is unavailable.
Replying to @lambdagrrl
@lambdagrrl Amused is never negative :). I think they are closer to Java interfaces than Haskell classes in practice though.
10:22 AM - 12 Jan 2016
0 replies
0 retweets
1 like
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.