can haz overloadedstrings in idris? @edwinbrady
-
-
@edwinbrady Do you know where I can find out about it? -
@kamatsu8 Almost certainly a terrible idea, and I discovered a buglet with implicit in the process, but https://gist.github.com/edwinb/eb8424a3e7773bdba54e … - 1 more reply
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.