@edwinbrady @pigworker @d_christiansen @acid2 Once feature of the RankNTypes version is that f ~> g takes another type argument. Same here?
-
-
@edwinbrady I did not doubt that it works. I was wondering whether it would work in the context of a function with higher-rank implicits. -
@ertesx Well your code doesn't work in Idris, but should. I'll take a look.
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.