Newest at the top
| 2025-01-02 19:03:03 +0100 | Rockingcool | (~rockingco@2600:1702:5284:80::2f) |
| 2025-01-02 18:59:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 18:56:48 +0100 | <bwe> | I mean the pattern I have is using Text as type but not having the type properly named. |
| 2025-01-02 18:55:51 +0100 | Guest74 | (~Guest74@2600:1702:5284:80:899b:7d11:ffd4:dbfc) |
| 2025-01-02 18:55:18 +0100 | <bwe> | maybe that or in any way a more convenient way than explicitly defining synonyms. |
| 2025-01-02 18:55:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 18:54:36 +0100 | <mauke> | you want to declare a type in the middle of another type? |
| 2025-01-02 18:53:11 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-01-02 18:52:55 +0100 | <bwe> | is there something like on the fly type aliases? https://play.haskell.org/saved/WxMkIOjh |
| 2025-01-02 18:49:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-02 18:46:59 +0100 | drlong67 | (~david@pool-173-49-216-118.phlapa.fios.verizon.net) () |
| 2025-01-02 18:44:30 +0100 | Square | (~Square@user/square) Square |
| 2025-01-02 18:44:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-02 18:39:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 18:39:51 +0100 | drlong67 | (~david@pool-173-49-216-118.phlapa.fios.verizon.net) |
| 2025-01-02 18:29:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-02 18:25:47 +0100 | alexherbo2 | (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-01-02 18:24:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 18:23:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-02 18:21:44 +0100 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 264 seconds) |
| 2025-01-02 18:18:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-02 18:07:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-02 18:01:51 +0100 | artu | (~artu@li90-184.members.linode.com) artu |
| 2025-01-02 17:55:12 +0100 | chris_on_linux | (~user@2a02:2149:861e:b700:224e:f6ff:fe4a:8927) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2025-01-02 17:54:34 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-01-02 17:53:06 +0100 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 276 seconds) |
| 2025-01-02 17:51:50 +0100 | alexherbo2 | (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr) alexherbo2 |
| 2025-01-02 17:51:31 +0100 | alexherbo2 | (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-01-02 17:33:38 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-02 17:26:41 +0100 | housemate | (~housemate@pa49-184-8-92.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2025-01-02 17:26:31 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-02 17:25:50 +0100 | mari-estel | (~mari-este@user/mari-estel) () |
| 2025-01-02 17:23:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-02 17:20:22 +0100 | <glguy> | Are your questions meant for the Gentoo project? |
| 2025-01-02 17:19:47 +0100 | alexherbo2 | (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr) alexherbo2 |
| 2025-01-02 17:09:22 +0100 | artu | (~artu@li90-184.members.linode.com) artu |
| 2025-01-02 17:04:59 +0100 | alexherbo2 | (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-01-02 16:54:18 +0100 | johnjaye | (~pi@syn-035-146-235-019.res.spectrum.com) johnjaye |
| 2025-01-02 16:45:05 +0100 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) orangeFlu |
| 2025-01-02 16:44:34 +0100 | alexherbo2 | (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr) alexherbo2 |
| 2025-01-02 16:38:55 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Quit: leaving) |
| 2025-01-02 16:38:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2025-01-02 16:28:00 +0100 | alexherbo2 | (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-01-02 16:27:28 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-02 16:27:10 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2025-01-02 16:26:31 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-02 16:25:45 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-01-02 16:25:38 +0100 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-01-02 16:19:55 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Ping timeout: 265 seconds) |
| 2025-01-02 16:15:05 +0100 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 265 seconds) |