view paste/paste.18377 @ 8794:8fd5c92c6eb8

<quintopia> le/rn fixed point theorem/The Fixed Point Theorem states that every planet P will have a point where Archimedes can stand to move it.
author HackBot
date Mon, 11 Jul 2016 23:27:23 +0000
parents 7c5141b92ecf
children
line wrap: on
line source

2012-07-08.txt:06:32:09: <zzo38> OK, but still, if you require the Plus and Alternative and MonadPlus to all use the same monoid, you should not get any problems, especially if you never actually define a Plus instance for something that has Alternative.
2012-12-19.txt:20:58:00: <oerjan> @quote monoid.*problems
2012-12-19.txt:21:00:25: <hagb4rd> `pastelogs monoid.*problems
2012-12-19.txt:21:01:01: <hagb4rd> `logpaste monoid.*problems