Newest at the top
| 2025-10-17 00:22:03 +0200 | <dcpagan> | instance Ord a => Semigroup (Max a) |
| 2025-10-17 00:21:35 +0200 | <dcpagan> | instance Semigroup a => Monoid (Maybe a) |
| 2025-10-17 00:21:10 +0200 | <dcpagan> | instance (Ord a, Bounded a) => Monoid (Max a) |
| 2025-10-17 00:21:07 +0200 | <dcpagan> | The following monoid instances are defined in the standard library: |
| 2025-10-17 00:20:43 +0200 | <dcpagan> | I cannot use a monoid instance of (Ord a) => Max (Maybe a) |
| 2025-10-17 00:18:07 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-17 00:14:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 00:10:53 +0200 | omnifunctor | (~omnifunct@user/semifunctor) omnifunctor |
| 2025-10-17 00:10:24 +0200 | semifunctor | (~omnifunct@user/semifunctor) omnifunctor |
| 2025-10-17 00:10:02 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) synchromesh |
| 2025-10-17 00:09:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 00:08:56 +0200 | semifunctor | (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-10-17 00:08:56 +0200 | omnifunctor | (~omnifunct@user/semifunctor) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-10-17 00:08:30 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:20d4:65ae:d853:d670) (Read error: Connection reset by peer) |
| 2025-10-17 00:07:02 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-10-16 23:58:25 +0200 | kukimik | (~kukimik@93-159-12-225.cgnat.inetia.pl) () |
| 2025-10-16 23:57:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-16 23:53:46 +0200 | gehmehgeh | gmg |
| 2025-10-16 23:53:38 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-10-16 23:51:55 +0200 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-16 23:51:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-16 23:49:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 2025-10-16 23:49:14 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 2025-10-16 23:49:10 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-16 23:35:43 +0200 | bggd | (~bgg@2a01:e0a:819:1510:8541:de44:31ff:4da2) |
| 2025-10-16 23:34:09 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-16 23:32:16 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-10-16 23:30:39 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-16 23:29:44 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-10-16 23:27:22 +0200 | Zemy | (~Zemy@76.184.41.21) |
| 2025-10-16 23:22:59 +0200 | trickard_ | trickard |
| 2025-10-16 23:17:54 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-16 23:17:25 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-10-16 23:16:11 +0200 | Clint_ | Clint |
| 2025-10-16 23:15:37 +0200 | kukimik | (~kukimik@93-159-12-225.cgnat.inetia.pl) |
| 2025-10-16 23:13:10 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-16 23:12:26 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 2025-10-16 23:12:25 +0200 | Psychotic1 | (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) |
| 2025-10-16 23:06:37 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 246 seconds) |
| 2025-10-16 23:05:57 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2025-10-16 23:05:26 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-16 23:04:39 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-16 23:02:02 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-16 23:01:50 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-16 22:56:42 +0200 | Psychotic1 | (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) (Quit: Leaving) |
| 2025-10-16 22:56:17 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-10-16 22:55:12 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-16 22:54:59 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-16 22:53:48 +0200 | Psychotic1 | (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) |
| 2025-10-16 22:47:54 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |