Newest at the top
2025-07-15 21:15:27 +0200 | <__monty__> | Is the semicolon for OR syntax from somewhere? I think Agda has something like this using the guard syntax. |
2025-07-15 21:14:19 +0200 | <__monty__> | Ah, darn, still on 9.10. |
2025-07-15 21:11:59 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: irc.renjuan.org (juan@acm.org)) |
2025-07-15 21:11:16 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-15 21:10:46 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-15 21:08:26 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-07-15 21:08:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-15 21:07:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-07-15 21:02:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-15 21:01:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-07-15 21:00:45 +0200 | caconym74 | (~caconym@user/caconym) caconym |
2025-07-15 21:00:23 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-07-15 21:00:04 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
2025-07-15 20:56:50 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-07-15 20:53:05 +0200 | nicole | (ilbelkyr@libera/staff/ilbelkyr) (Ping timeout: 620 seconds) |
2025-07-15 20:52:37 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
2025-07-15 20:52:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-15 20:48:13 +0200 | <geekosaur> | well, it's pretty new (added in 9.12) |
2025-07-15 20:47:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-15 20:46:43 +0200 | <__monty__> | That looks like exactly what I asked for. How eyebrow raising is this extension? |
2025-07-15 20:41:26 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-07-15 20:40:57 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-07-15 20:40:57 +0200 | JuanDaugherty | (~juan@user/Lycurgus) (Changing host) |
2025-07-15 20:40:40 +0200 | Lycurgus | JuanDaugherty |
2025-07-15 20:40:12 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-07-15 20:39:07 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-15 20:36:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-07-15 20:36:05 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-15 20:35:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-07-15 20:32:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-15 20:28:49 +0200 | trickard_ | trickard |
2025-07-15 20:23:19 +0200 | sprotte24_ | (~sprotte24@p200300d16f26a20094405b788619da0b.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-07-15 20:23:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-07-15 20:23:11 +0200 | sprotte24 | (~sprotte24@p200300d16f26a20094405b788619da0b.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-07-15 20:22:09 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-07-15 20:21:32 +0200 | <tomsmeding> | __monty__: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/or_patterns.html#extension-OrPatterns ? |
2025-07-15 20:21:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-07-15 20:19:31 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-15 20:18:04 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
2025-07-15 20:16:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-07-15 20:16:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-07-15 20:15:08 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
2025-07-15 20:12:11 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-15 20:10:32 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-15 20:09:54 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
2025-07-15 20:09:30 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-15 20:06:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-07-15 20:04:09 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
2025-07-15 20:03:31 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-07-15 20:01:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |