view paste/paste.18377 @ 11281:32b4d8cdda54

<oerjan> le/rn paraconsistent//There has been a lot of work on paraconsistent logics, although there hasn\'t been a lot of work on them.
author HackBot
date Sun, 24 Dec 2017 19:58:10 +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