@edwinbrady any idea what's wrong in this Idris line that prevents from compiling https://gist.github.com/mandubian/83d28f126ddf684eca633e809ba87fdd … ? Thks
-
-
... mapAccumL {b} {c} f a1 tb... interesting... when you put left implicit like that, it just forces them into scope? and why not {a}?
-
It brings parameters into scope but not indices. For some reason it thinks b and c aren’t parameters.
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.