Newest at the top
| 2026-02-24 10:33:53 +0100 | <tomsmeding> | but then you could argue that you should give that Ord instance anyway |
| 2026-02-24 10:33:40 +0100 | <tomsmeding> | perhaps it makes sense that an Enum has a first and a last value for enumeration, but while it has an ordering compatible with that Enum instance, that ordering makes no semantical sense and is hence not defined? |
| 2026-02-24 10:32:50 +0100 | Enrico63 | (~Enrico63@host-79-19-156-232.retail.telecomitalia.it) Enrico63 |
| 2026-02-24 10:32:19 +0100 | <dminuoso> | What does `minimum/maximum` even mean in the absence of an ordering? |
| 2026-02-24 10:31:58 +0100 | <dminuoso> | Curious, why is Ord not a superclass of Bounded? |
| 2026-02-24 10:31:27 +0100 | <yahb2> | minBound :: Bounded a => a |
| 2026-02-24 10:31:27 +0100 | <dminuoso> | % :t minBound |
| 2026-02-24 10:27:08 +0100 | sp1ff | (~user@2601:1c2:4701:7850::8cd) (Ping timeout: 268 seconds) |
| 2026-02-24 10:25:44 +0100 | Alex_delenda_est | (~al_test@178.34.163.162) |
| 2026-02-24 10:20:15 +0100 | Alex_test_ | (~al_test@178.34.163.162) (Ping timeout: 255 seconds) |
| 2026-02-24 10:18:24 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-24 10:17:33 +0100 | Alex_delenda_est | (~al_test@178.34.163.162) (Ping timeout: 255 seconds) |
| 2026-02-24 10:15:54 +0100 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-02-24 10:15:47 +0100 | Alex_test_ | (~al_test@178.34.163.162) |
| 2026-02-24 10:14:02 +0100 | AlexZenon | (~alzenon@178.34.163.162) |
| 2026-02-24 10:13:07 +0100 | Alex_delenda_est | (~al_test@178.34.163.162) |
| 2026-02-24 10:07:46 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-24 10:06:08 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-24 09:52:36 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-24 09:52:16 +0100 | srk | (~sorki@user/srk) srk |
| 2026-02-24 09:51:37 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-24 09:50:43 +0100 | srk | (~sorki@user/srk) (Ping timeout: 264 seconds) |
| 2026-02-24 09:37:54 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-24 09:34:20 +0100 | AlexNoo__ | (~AlexNoo@178.34.163.162) (Ping timeout: 268 seconds) |
| 2026-02-24 09:33:43 +0100 | AlexNoo_ | (~AlexNoo@178.34.163.162) (Ping timeout: 268 seconds) |
| 2026-02-24 09:33:41 +0100 | AlexNoo | (~AlexNoo@178.34.163.162) |
| 2026-02-24 09:33:06 +0100 | AlexNoo | (~AlexNoo@178.34.163.162) (Ping timeout: 268 seconds) |
| 2026-02-24 09:29:43 +0100 | AlexNoo__ | (~AlexNoo@178.34.163.162) |
| 2026-02-24 09:28:59 +0100 | AlexNoo_ | (~AlexNoo@178.34.163.162) |
| 2026-02-24 09:28:15 +0100 | AlexNoo | (~AlexNoo@178.34.163.162) |
| 2026-02-24 09:27:27 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) |
| 2026-02-24 09:18:04 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 268 seconds) |
| 2026-02-24 09:15:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-24 09:15:00 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds) |
| 2026-02-24 09:11:18 +0100 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 256 seconds) |
| 2026-02-24 09:11:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-24 09:06:23 +0100 | wickedjargon | (~user@2605:8d80:5430:dc79:6396:7e42:d4e3:36f9) (Read error: Connection reset by peer) |
| 2026-02-24 09:02:09 +0100 | chele | (~chele@user/chele) chele |
| 2026-02-24 09:00:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-24 08:56:33 +0100 | jj | (~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) omentic |
| 2026-02-24 08:55:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-24 08:52:41 +0100 | jj | (~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) (Ping timeout: 248 seconds) |
| 2026-02-24 08:47:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-24 08:44:04 +0100 | Enrico63 | (~Enrico63@host-79-19-156-232.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-24 08:40:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-24 08:37:13 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-24 08:36:31 +0100 | Enrico63 | (~Enrico63@host-79-19-156-232.retail.telecomitalia.it) Enrico63 |
| 2026-02-24 08:30:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-02-24 08:30:20 +0100 | img | (~img@user/img) img |
| 2026-02-24 08:29:48 +0100 | wickedjargon | (~user@2605:8d80:5430:dc79:6396:7e42:d4e3:36f9) wickedjargon |