Newest at the top
2025-05-05 18:08:09 +0200 | <lambdabot> | *Exception: arithmetic underflow |
2025-05-05 18:08:08 +0200 | <hellwolf> | > (negate . fromInteger) 2 :: Natural |
2025-05-05 18:07:31 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) |
2025-05-05 18:07:30 +0200 | <hellwolf> | GHC.Num.Natural |
2025-05-05 18:04:03 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-05-05 18:03:26 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-05-05 18:03:17 +0200 | <EvanR> | my money was on "an Int value which for some reason is not negative" |
2025-05-05 18:00:03 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 17:59:13 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 17:58:22 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: "Currying for lunch...") |
2025-05-05 17:57:57 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-05 17:53:25 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 17:52:58 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 17:51:14 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 17:50:47 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 17:47:44 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-05-05 17:44:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-05-05 17:43:32 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-05 17:40:40 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 276 seconds) |
2025-05-05 17:35:16 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 272 seconds) |
2025-05-05 17:31:55 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-05-05 17:23:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-05 17:23:46 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-05-05 17:22:12 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 17:21:39 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 17:15:19 +0200 | jespada | (~jespada@r167-61-122-73.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
2025-05-05 17:13:17 +0200 | jespada_ | (~jespada@r179-25-149-142.dialup.adsl.anteldata.net.uy) jespada |
2025-05-05 17:06:56 +0200 | euleritian | (~euleritia@77.23.248.47) |
2025-05-05 17:06:38 +0200 | euleritian | (~euleritia@dynamic-176-000-193-088.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-05-05 17:04:54 +0200 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 240 seconds) |
2025-05-05 17:04:54 +0200 | ChanServ | +v haskellbridge |
2025-05-05 17:04:54 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
2025-05-05 17:02:26 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-05-05 16:59:00 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp |
2025-05-05 16:57:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-05-05 16:55:24 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 16:54:57 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 16:54:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-05-05 16:52:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-05-05 16:51:36 +0200 | amir_ | (uid22336@user/amir) amir |
2025-05-05 16:48:12 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f8221d365420023dfe1.dip0.t-ipconnect.de) acidjnk |
2025-05-05 16:46:09 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 248 seconds) |
2025-05-05 16:44:36 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f8221d365420023dfe1.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2025-05-05 16:39:03 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
2025-05-05 16:38:38 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
2025-05-05 16:29:34 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
2025-05-05 16:17:03 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-05 16:15:30 +0200 | <tomsmeding> | is there a usecase where you want the number of numeric base-10 digits in an Int value, but where the possible '-' doesn't count? |
2025-05-05 16:12:55 +0200 | euleritian | (~euleritia@dynamic-176-000-193-088.176.0.pool.telefonica.de) |
2025-05-05 16:12:29 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |