Difference between revisions of "Talk:Typeclassopedia"
m (whoops, move comment after what it was replying to) |
|||
Line 15: | Line 15: | ||
--[[User:Dave4420|Dave4420]] 17:16, 26 November 2011 (UTC) |
--[[User:Dave4420|Dave4420]] 17:16, 26 November 2011 (UTC) |
||
+ | |||
+ | Hmm, where does it say that? [[User:Byorgey|Byorgey]] 17:40, 26 November 2011 (UTC) |
Revision as of 17:40, 26 November 2011
Adding Exercises
I'd like to add a bunch of explicit, typographically distinguished exercises to the text. For example, the Haskell wikibook typesets exercises in a centered box. I don't know a lot about wiki markup -- does anyone have ideas on a good way to do this?
Byorgey 16:09, 26 November 2011 (UTC)
https://en.wikibooks.org/wiki/Template:Exercises If you look at the source, it doesn't seem too complicated to copy over - only calls 1 or 2 other templates an those may not be important. --Gwern 16:20, 26 November 2011 (UTC)
That works great, thanks! Byorgey 17:34, 26 November 2011 (UTC)
§6.4 Other monoidal classes
This section states that instances of Alternative/MonadPlus/ArrowPlus are sometimes the same as the Monoid instance, and sometimes different. It would be helpful (imo) if it was explained why this is: whether it would be better if instances of Alternative/MonadPlus/ArrowPlus were the same as the Monoid instance, and that sometimes they are not due to accidents of history; or whether sometimes these instances should be different, and giving guidance as to when those times are.
--Dave4420 17:16, 26 November 2011 (UTC)
Hmm, where does it say that? Byorgey 17:40, 26 November 2011 (UTC)