Newest at the top
| 2024-09-27 03:25:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 03:24:38 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-09-27 03:24:34 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2024-09-27 03:19:51 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2024-09-27 03:19:17 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2024-09-27 03:18:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-27 03:15:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-27 03:12:20 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-27 03:11:28 +0200 | <dibblego> | it should be init . tails |
| 2024-09-27 03:10:31 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-09-27 03:10:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 03:10:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 03:04:54 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 265 seconds) |
| 2024-09-27 03:03:04 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-27 03:00:41 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2024-09-27 02:59:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 02:55:06 +0200 | <Inst> | it's basically tails :: [a] -> [[a]] |
| 2024-09-27 02:54:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 02:54:05 +0200 | Misosabbe | (~Misosabbe@2a00:801:4f3:fb9c:22d2:cc07:9cb3:2) (Quit: Client closed) |
| 2024-09-27 02:53:04 +0200 | <Inst> | whoa, is it me or is the duplicate instance for NonEmpty pretty psychedelic? |
| 2024-09-27 02:46:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 02:43:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 02:40:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-27 02:39:45 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 02:38:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 02:36:41 +0200 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) (Quit: Fading out...) |
| 2024-09-27 02:36:34 +0200 | xff0x | (~xff0x@2405:6580:b080:900:edb3:3e3f:7e00:b65b) (Ping timeout: 260 seconds) |
| 2024-09-27 02:27:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-27 02:23:51 +0200 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) gdr3941 |
| 2024-09-27 02:22:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 02:17:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-27 02:17:19 +0200 | <Inst> | although there's definitely cases where the scoping is what you want |
| 2024-09-27 02:17:05 +0200 | <Inst> | also int-e, your way is better because it always executes on the top-level, whereas let / where with bang patterns only executes in the particular branch of the function |
| 2024-09-27 02:15:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-27 02:14:39 +0200 | polyphem | (~rod@p4fc2ccf6.dip0.t-ipconnect.de) polyphem |
| 2024-09-27 02:12:30 +0200 | polyphem | (~rod@p4fc2c857.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-09-27 02:12:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-27 02:11:51 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2024-09-27 02:10:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 02:08:50 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2024-09-27 02:06:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 02:04:08 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-27 02:04:07 +0200 | <geekosaur> | case guards |
| 2024-09-27 02:03:58 +0200 | <geekosaur> | oh, I thought you meant what int-e was talking about |
| 2024-09-27 02:03:34 +0200 | <lambdabot> | Alternative f => Bool -> f () |
| 2024-09-27 02:03:34 +0200 | <Inst> | it's in a do block over list with guard forcing termination |
| 2024-09-27 02:03:33 +0200 | <geekosaur> | :t guard |
| 2024-09-27 02:03:19 +0200 | <Inst> | am i misusing guard? |
| 2024-09-27 02:02:40 +0200 | geekosaur | wonders if you really want `guard` |
| 2024-09-27 02:00:49 +0200 | <Inst> | i was using !_ = assert (9 > length neighbors) () as the checkpoint |