Logs: liberachat/#haskell
| 2025-12-18 05:28:08 | × | Googulator94 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 05:28:23 | → | Googulator94 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 05:28:34 | → | mechanov_ joins (~mechanov_@user/mechanov-:31724) |
| 2025-12-18 05:30:44 | × | mechanov_ quits (~mechanov_@user/mechanov-:31724) (Client Quit) |
| 2025-12-18 05:31:05 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-18 05:32:10 | → | raym joins (~ray@user/raym) |
| 2025-12-18 05:35:43 | × | Square quits (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-12-18 05:36:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-18 05:38:01 | × | jj quits (~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) (Remote host closed the connection) |
| 2025-12-18 05:39:02 | × | Axman6 quits (~Axman6@user/axman6) (*.net *.split) |
| 2025-12-18 05:39:02 | × | superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split) |
| 2025-12-18 05:39:37 | × | mange quits (~mange@user/mange) (Quit: Quittin' time!) |
| 2025-12-18 05:40:44 | → | jj joins (~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) |
| 2025-12-18 05:41:23 | → | superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 2025-12-18 05:41:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-18 05:50:41 | × | Googulator94 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 05:50:46 | → | Googulator8 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 05:51:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-18 05:58:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 05:59:19 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-18 06:03:16 | → | werneta joins (~werneta@71.83.160.242) |
| 2025-12-18 06:03:42 | → | michalz joins (~michalz@185.246.207.193) |
| 2025-12-18 06:09:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-18 06:14:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-18 06:16:54 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2025-12-18 06:17:48 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-18 06:17:50 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-18 06:20:39 | → | Googulator60 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 06:20:48 | × | Googulator8 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 06:25:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-18 06:31:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-18 06:36:09 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 265 seconds) |
| 2025-12-18 06:37:19 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-18 06:40:53 | → | Axman6 joins (~Axman6@user/axman6) |
| 2025-12-18 06:41:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-18 06:45:27 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-18 06:46:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 06:50:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-18 06:55:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-18 06:55:46 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-12-18 07:00:35 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-12-18 07:05:37 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 2025-12-18 07:06:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-18 07:07:51 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 07:08:32 | × | hiredman quits (~hiredman@frontier1.downey.family) (Ping timeout: 265 seconds) |
| 2025-12-18 07:11:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-18 07:12:29 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 250 seconds) |
| 2025-12-18 07:15:59 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 07:17:32 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-18 07:17:53 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-18 07:20:16 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 244 seconds) |
| 2025-12-18 07:22:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-18 07:22:53 | × | annamalai quits (~annamalai@2409:4042:2319:cd57::21e0:60a5) (Ping timeout: 250 seconds) |
| 2025-12-18 07:27:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-18 07:28:09 | → | humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-18 07:29:44 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-18 07:29:58 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-18 07:30:01 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 2025-12-18 07:33:17 | × | werneta quits (~werneta@71.83.160.242) (Remote host closed the connection) |
| 2025-12-18 07:38:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-18 07:39:37 | → | annamalai joins (~annamalai@157.32.125.111) |
| 2025-12-18 07:42:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-18 07:47:10 | humasect_ | is now known as humasect |
| 2025-12-18 07:51:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-18 07:51:47 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 07:56:14 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 260 seconds) |
| 2025-12-18 07:56:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-18 08:00:35 | <probie> | Is there a good way to union recursive types? My current approach is https://play.haskell.org/saved/DFZQfeiw but is there a better way to do this? |
| 2025-12-18 08:03:19 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-18 08:03:58 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-12-18 08:04:08 | → | milan2 joins (~milan@88.212.61.169) |
| 2025-12-18 08:05:57 | <opqdonut> | yeah you take the union of the f-algebras and then fix, that's what I would've done |
| 2025-12-18 08:07:17 | <opqdonut> | I probably would've written the union out as a datatype if there are only 1-2 cases |
| 2025-12-18 08:07:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-18 08:07:45 | <opqdonut> | I mean, 1-2 applications of the OneOf' pattern |
| 2025-12-18 08:07:57 | <opqdonut> | but that's just a stylistic change |
| 2025-12-18 08:09:59 | → | chele joins (~chele@user/chele) |
| 2025-12-18 08:10:09 | trickard_ | is now known as trickard |
| 2025-12-18 08:11:19 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-12-18 08:12:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-18 08:18:08 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-12-18 08:20:41 | × | Googulator60 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 08:20:48 | → | Googulator43 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 08:23:00 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-18 08:23:11 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-12-18 08:23:55 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-18 08:26:48 | → | acidjnk joins (~acidjnk@p200300d6e7171981f0c6dc9689540cc0.dip0.t-ipconnect.de) |
| 2025-12-18 08:41:26 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 08:45:40 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) (Ping timeout: 246 seconds) |
| 2025-12-18 08:48:16 | → | tromp joins (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) |
| 2025-12-18 08:50:45 | → | Googulator77 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-18 08:50:50 | × | Googulator43 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 08:51:37 | × | sp1ff` quits (~user@2601:1c2:4c00:55a0::59db) (Ping timeout: 246 seconds) |
| 2025-12-18 09:03:20 | × | milan2 quits (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 2025-12-18 09:07:55 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-18 09:09:58 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-18 09:16:31 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:d8ae:76cb:bbd3:c656) |
| 2025-12-18 09:20:41 | → | Googulator36 joins (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-18 09:20:46 | × | Googulator77 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-18 09:22:05 | → | sp1ff` joins (~user@2601:1c2:4701:900::327f) |
All times are in UTC.