Playing with type/value classes in Idris. This is either obvious, useful, or evil. Maybe all three: https://gist.github.com/4149803
-
-
@ozgurakgun@edwinbrady i think it depends on the TC extensions you enable with ghc, right? -
@cartazio yes yes, UndecidableInstances do backtrack, but is very limited in my experience.@edwinbrady
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.