OTOH, the complete documentation for the "map" function in #Idris is: "The action of the functor on morphisms".
-
-
@edwinbrady BTW, I proved false today: https://github.com/idris-lang/Idris-dev/issues/2716 … -
@d_christiansen Oh yes, %reflection functions are never total (or, as you say, even really functions). All sorts of things will break.
End of conversation
New conversation -
-
-
@edwinbrady@andreasdotorg Yeah, the new version is much better.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady@andreasdotorg You don't need to look it up, I know when I've done "ugh"-inspiring wrong!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.