It turns out I can make the monad section easier to understand and more relevant by removing most of it. *hands in Haskell licence*
-
-
-
@edwinbrady that's awesome! I'd love to hear how. - 3 more replies
New conversation -
-
-
@edwinbrady that's what we all say! (-: -
@paulcc_two I deleted most of it in the end :)
End of conversation
New conversation -
-
-
@edwinbrady you could add a pedantic footnote about relative monads to earn 30 points -
@d_christiansen Mostly I'm trying to say "Don't Do That" without being unhelpful. Tricky balancing act here :). - 1 more reply
New conversation -
-
-
@edwinbrady MONADS FOR THE MONAD GODThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady Shame. I’d like to be confused about Monads in Idris too.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@jonsterling of course you do :-)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady "Dependent Types are a Burrito"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.