If you need coherent type class instances, it's not that hard… http://www.reddit.com/r/haskell/comments/31zagw/why_are_we_naming_types_instead_of_instances_when/cq8qsyo … #idris
-
-
Replying to @edwinbrady
@edwinbrady nice idea. PS - in MkSet it should be Set' a ord correct? (I think it's flipped around in your comment).1 reply 0 retweets 0 likes
Replying to @aaronmblevin
@aaronmblevin Oops, thanks. This is why code beats everything else :).
6:32 AM - 11 Apr 2015
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.