OTOH, the complete documentation for the "map" function in #Idris is: "The action of the functor on morphisms".
-
-
@edwinbrady@andreasdotorg This was my fault a while back when I was playing with diagrams in docstrings - the text managed to survive. Sry. -
@d_christiansen@andreasdotorg I deliberately didn't look up who to blame :). Hopefully the new version is informative anyway. - 2 more replies
New conversation -
-
-
@edwinbrady I'm currently working through the current draft of the book. Nice to see progress there!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.