Newest at the top
| 2025-12-04 16:49:20 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Remote host closed the connection) |
| 2025-12-04 16:46:38 +0100 | tromp | (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-04 16:36:21 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-12-04 16:31:55 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-12-04 16:25:42 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 244 seconds) |
| 2025-12-04 16:24:08 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-04 16:16:32 +0100 | cstml3 | (~cstml@user/cstml) cstml |
| 2025-12-04 16:15:55 +0100 | cstml3 | (~cstml@user/cstml) (Ping timeout: 240 seconds) |
| 2025-12-04 16:14:57 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2025-12-04 16:14:09 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2025-12-04 16:05:58 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-12-04 16:05:49 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-04 16:04:08 +0100 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2025-12-04 16:02:16 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 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)' ) |