Newest at the top
| 2026-04-29 08:35:14 +0000 | lambdap23717 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2026-04-29 08:34:55 +0000 | lambdap23717 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
| 2026-04-29 08:34:44 +0000 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2026-04-29 08:34:04 +0000 | qqq | (~qqq@185.54.20.226) |
| 2026-04-29 08:33:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 08:33:17 +0000 | trampi | (~trampi@mx.trampusch.info) (Read error: Connection reset by peer) |
| 2026-04-29 08:31:38 +0000 | chele | (~chele@user/chele) chele |
| 2026-04-29 08:30:38 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-29 08:29:51 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2026-04-29 08:28:20 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-29 08:24:58 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e50528dbb8120543e0c8.dip0.t-ipconnect.de) acidjnk |
| 2026-04-29 08:24:54 +0000 | sm__ | (~sm@66.8.200.171) (Ping timeout: 245 seconds) |
| 2026-04-29 08:23:43 +0000 | xax__ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-29 08:23:02 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-29 08:22:43 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-29 08:19:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-29 08:11:45 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 246 seconds) |
| 2026-04-29 08:10:40 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-29 08:10:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 08:08:11 +0000 | sm__ | (~sm@66.8.200.171) |
| 2026-04-29 07:59:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-29 07:54:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 07:47:34 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-29 07:44:23 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-04-29 07:43:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-29 07:38:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 07:38:17 +0000 | jj | (~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) (Read error: Connection reset by peer) |
| 2026-04-29 07:37:50 +0000 | jj_ | (~apropos@154.20.120.135) |
| 2026-04-29 07:35:27 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-29 07:32:45 +0000 | nattkyrro | (~serenity@user/nattkyrro) nattkyrro |
| 2026-04-29 07:29:37 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-29 07:27:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-29 07:26:06 +0000 | gabriel_sevecek | (~gabriel@92.180.228.17) gabriel_sevecek |
| 2026-04-29 07:24:17 +0000 | <Leary> | Right; to use the same name for the constructors and patterns they'd need to be declared in different modules. |
| 2026-04-29 07:23:54 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) |
| 2026-04-29 07:23:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 07:23:07 +0000 | gabriel_sevecek | (~gabriel@92-180-228-17.dynamic.orange.sk) (Ping timeout: 264 seconds) |
| 2026-04-29 07:16:24 +0000 | <gentauro> | (reason you use `Foo_` and `Bar_`? |
| 2026-04-29 07:16:10 +0000 | <gentauro> | however, we are in Haskell land so no `shadow` definitions right? |
| 2026-04-29 07:15:39 +0000 | <gentauro> | Leary: yeah, it seems like that. Thx |
| 2026-04-29 07:11:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-29 07:10:56 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) bitmapper |
| 2026-04-29 07:06:53 +0000 | synchromesh | (~john@2406:5a00:247e:1500:6092:d450:dbbd:88ed) synchromesh |
| 2026-04-29 07:06:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-29 07:05:45 +0000 | synchrom1 | (~john@2406:5a00:247e:1500:6092:d450:dbbd:88ed) (Read error: Connection reset by peer) |
| 2026-04-29 07:05:45 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 268 seconds) |
| 2026-04-29 07:00:52 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-04-29 06:57:42 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-04-29 06:56:32 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-29 06:53:50 +0000 | <Leary> | gentauro: I'm not familiar with F# so I may be missing something, but with `PatternSynonyms` you can expose patterns without constructors, e.g. `module FooBar (FooBar(Foo,Bar)) where { data FooBar = Foo_ Int | Bar_ Char; pattern Foo i <- Foo_ i; pattern Bar c <- Bar_ c }`. |