Playing with type/value classes in Idris. This is either obvious, useful, or evil. Maybe all three: https://gist.github.com/4149803
-
-
@edwinbrady i think ghc doesn't backtrack at all. we should figure out a way to CP this up. -
@ozgurakgun Good idea! - 2 more replies
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.