Newest at the top
2024-06-01 01:19:52 +0200 | td_ | (~td@i53870933.versanet.de) |
2024-06-01 01:19:44 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) (Ping timeout: 260 seconds) |
2024-06-01 01:15:23 +0200 | td_ | (~td@i53870933.versanet.de) (Quit: waking up from the american dream ...) |
2024-06-01 01:13:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-06-01 01:09:54 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
2024-06-01 01:02:32 +0200 | sm | (~znc@plaintextaccounting/sm) |
2024-06-01 00:53:12 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-01 00:51:28 +0200 | gugu256 | (~gugu256@lfbn-idf2-1-579-126.w86-246.abo.wanadoo.fr) (Quit: Leaving) |
2024-06-01 00:50:57 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
2024-06-01 00:40:15 +0200 | <monochrom> | Bottom = It's handles all the way down |
2024-06-01 00:39:45 +0200 | <Rembane> | All the handles! |
2024-06-01 00:39:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-01 00:39:28 +0200 | <EvanR> | how many handles does your spoon need |
2024-06-01 00:39:19 +0200 | <EvanR> | spoonWithHandles... teaspoonWithHandles xD |
2024-06-01 00:38:25 +0200 | sm | (~znc@plaintextaccounting/sm) () |
2024-06-01 00:35:15 +0200 | gugu256 | (~gugu256@lfbn-idf2-1-579-126.w86-246.abo.wanadoo.fr) |
2024-06-01 00:28:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-01 00:24:34 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-06-01 00:23:17 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 240 seconds) |
2024-06-01 00:20:17 +0200 | <haskellbridge> | <sm> * fun. https://hackage.haskell.org/package/spoon-0.3.1/docs/Control-Spoon.html |
2024-06-01 00:19:58 +0200 | <haskellbridge> | <sm> hey, that looks fun |
2024-06-01 00:17:23 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
2024-06-01 00:06:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-01 00:04:58 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-06-01 00:03:05 +0200 | ekurtz | (~ekurtz@136.62.248.55) (Remote host closed the connection) |
2024-06-01 00:02:07 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:3fa2:e908:b522:fa2f) (Ping timeout: 255 seconds) |
2024-05-31 23:56:44 +0200 | f | (~f@185.209.199.45) (Quit: Leaving) |
2024-05-31 23:56:26 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-05-31 23:52:56 +0200 | titibandit | (~user@user/titibandit) (Ping timeout: 260 seconds) |
2024-05-31 23:35:11 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-05-31 23:34:22 +0200 | rosco | (~rosco@90.58.221.226) (Quit: Lost terminal) |
2024-05-31 23:31:30 +0200 | phma | (phma@2001:5b0:211c:60e8:6c16:6d7e:9de:d11c) |
2024-05-31 23:31:05 +0200 | phma | (~phma@host-67-44-208-4.hnremote.net) (Read error: Connection reset by peer) |
2024-05-31 23:27:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-31 23:24:37 +0200 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-05-31 23:24:11 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-31 23:19:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-31 23:17:56 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
2024-05-31 23:15:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-31 23:11:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-31 23:08:40 +0200 | rosco | (~rosco@90.58.221.226) |
2024-05-31 23:08:02 +0200 | <EvanR> | many moons ago some jackass disagreed and uploaded the spoon package xD |
2024-05-31 23:07:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-05-31 23:07:24 +0200 | <monochrom> | More seriously, bottoms are not accessible in code so it doesn't help to count them. |
2024-05-31 23:06:04 +0200 | <EvanR> | the haskell value not mentionable in polite company |
2024-05-31 23:05:36 +0200 | <monochrom> | "we don't talk about that here" :) |
2024-05-31 23:05:24 +0200 | <EvanR> | how many is that if you count bottoms xD |
2024-05-31 23:05:23 +0200 | <ncf> | yeah |
2024-05-31 23:04:44 +0200 | <ncf> | does that work |
2024-05-31 23:04:39 +0200 | <ncf> | type Fin100 = (Bool, Bool, Maybe (Bool, Bool, Bool, Maybe Bool)) |