Newest at the top
| 2025-12-04 15:59:33 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-12-04 15:59:15 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-12-04 15:58:38 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-04 15:55:28 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-04 15:54:10 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-04 15:53:57 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-04 15:52:58 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-12-04 15:46:54 +0100 | xff0x | (~xff0x@2405:6580:b080:900:d454:e7ea:27f9:454f) |
| 2025-12-04 15:35:07 +0100 | fp | (~Thunderbi@wireless-86-50-141-176.open.aalto.fi) (Remote host closed the connection) |
| 2025-12-04 15:30:52 +0100 | wbooze | (~wbooze@2001-4dd4-1daa-0-dd66-75b6-3dbd-fc23.ipv6dyn.netcologne.de) Inline |
| 2025-12-04 15:29:49 +0100 | divlamir_ | divlamir |
| 2025-12-04 15:29:09 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 252 seconds) |
| 2025-12-04 15:28:58 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-12-04 15:27:54 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-04 15:27:41 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-04 15:24:56 +0100 | fp1 | fp |
| 2025-12-04 15:24:13 +0100 | wbooze | (~wbooze@2001-4dd4-1daa-0-acf3-bea0-8250-a5a2.ipv6dyn.netcologne.de) (Read error: Connection reset by peer) |
| 2025-12-04 15:23:55 +0100 | xff0x | (~xff0x@2405:6580:b080:900:d454:e7ea:27f9:454f) (Ping timeout: 255 seconds) |
| 2025-12-04 15:22:32 +0100 | fp1 | (~Thunderbi@wireless-86-50-141-176.open.aalto.fi) fp |
| 2025-12-04 15:22:22 +0100 | fp | (~Thunderbi@wireless-86-50-141-176.open.aalto.fi) (Quit: fp) |
| 2025-12-04 15:15:44 +0100 | mikess | (~sam@user/mikess) mikess |
| 2025-12-04 15:10:04 +0100 | Digit | (~user@user/digit) Digit |
| 2025-12-04 15:08:38 +0100 | pr1sm | (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 2025-12-04 15:08:29 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2025-12-04 15:06:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) |
| 2025-12-04 15:05:40 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-04 15:03:15 +0100 | Ging_ | (46fea76d80@2001:bc8:1210:2cd8::470) |
| 2025-12-04 15:02:34 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-04 14:59:47 +0100 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-12-04 14:51:58 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) |
| 2025-12-04 14:50:21 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) (Ping timeout: 265 seconds) |
| 2025-12-04 14:44:05 +0100 | <lucabtz> | even though i suppose it could have an use somewhere |
| 2025-12-04 14:43:53 +0100 | <lucabtz> | no that version isnt what i need |
| 2025-12-04 14:43:04 +0100 | <ski> | (.. not too sure how useful this version would be for you .. just pondering) |
| 2025-12-04 14:42:27 +0100 | <ski> | (assuming you use `<' rather than `<=') |
| 2025-12-04 14:42:12 +0100 | ski | . o O ( `(+) :: BoundedNatural m -> BoundedNatural n -> BoundedNatural (m + n)' ) |
| 2025-12-04 14:40:41 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-04 14:40:30 +0100 | <ski> | mhm |
| 2025-12-04 14:40:17 +0100 | <lucabtz> | (:?) :: a -> a -> Maybe a |
| 2025-12-04 14:39:57 +0100 | <lucabtz> | ski i have a new typeclass PartialAdditive with an operator +? |
| 2025-12-04 14:39:22 +0100 | <ski> | (oh, and the corresponding operation handling precedences, for `Read', would be `readsPrec', which you'd define in terms of `readParen',`readsPrec',`lex'. for `Show' there's also `showChar') |
| 2025-12-04 14:39:16 +0100 | fp | (~Thunderbi@wireless-86-50-141-176.open.aalto.fi) fp |
| 2025-12-04 14:38:00 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2025-12-04 14:37:17 +0100 | <ski> | lucabtz : yep, so either you could have `Show' generate a call to `mkBoundedNatural'. or, if you do the pattern synonym, you could have it generate a call to that |
| 2025-12-04 14:37:14 +0100 | trickard_ | trickard |
| 2025-12-04 14:35:28 +0100 | <ski> | how are you detecting over- / under- flow ? |
| 2025-12-04 14:33:41 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-04 14:33:27 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-04 14:32:50 +0100 | <ski> | aha |
| 2025-12-04 14:32:12 +0100 | <ski> | otoh, if you want some custom pretty-printing syntax, i'd suggest not using `Show' (nor `Read') for this, rather defining separate functions (or perhaps using some other type class, possibly one you defined yourself) |