Logs: liberachat/#haskell
| 2026-03-09 20:42:58 | <haskellbridge> | <ijouw> I am trying to rewrite code using TypeFamilies to code using FunctionalDependencies. |
| 2026-03-09 20:42:58 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/ouImFDHsBujlCvzYMRmRaqsY/0YxzMbI9yFk (4 lines) |
| 2026-03-09 20:45:03 | → | stackdroid18 joins (~stackdroi@user/stackdroid) |
| 2026-03-09 20:45:43 | × | dhil quits (~dhil@5.151.29.139) (Ping timeout: 244 seconds) |
| 2026-03-09 20:45:59 | <haskellbridge> | <ijouw> Ah, obviously C' a b (I did this 5 minutes ago with another class). |
| 2026-03-09 20:47:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 20:53:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-09 20:55:42 | ← | stackdroid18 parts (~stackdroi@user/stackdroid) () |
| 2026-03-09 20:59:27 | → | stackdroid18 joins (~stackdroi@user/stackdroid) |
| 2026-03-09 20:59:32 | × | kuribas quits (~user@2a02-1810-2825-6000-414c-630a-ac36-9026.ip6.access.telenet.be) (Remote host closed the connection) |
| 2026-03-09 21:03:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 21:08:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-09 21:09:25 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 2026-03-09 21:10:51 | ← | stackdroid18 parts (~stackdroi@user/stackdroid) () |
| 2026-03-09 21:12:49 | → | sam113102 joins (~sam@modemcable200.189-202-24.mc.videotron.ca) |
| 2026-03-09 21:13:07 | × | sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2026-03-09 21:13:10 | sam113102 | is now known as sam113101 |
| 2026-03-09 21:19:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 21:20:00 | × | Googulator quits (~Googulato@2a01-036d-0106-0119-01e8-0aed-2fac-7c8a.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-09 21:20:19 | → | Googulator joins (~Googulato@2a01-036d-0106-0119-01e8-0aed-2fac-7c8a.pool6.digikabel.hu) |
| 2026-03-09 21:24:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-09 21:27:10 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 268 seconds) |
| 2026-03-09 21:27:32 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-03-09 21:27:36 | → | Square2 joins (~Square4@user/square) |
| 2026-03-09 21:28:30 | × | Square quits (~Square@user/square) (Ping timeout: 245 seconds) |
| 2026-03-09 21:34:08 | → | pavonia joins (~user@user/siracusa) |
| 2026-03-09 21:35:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 21:37:33 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-03-09 21:39:24 | karenw_ | is now known as karenw |
| 2026-03-09 21:40:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-09 21:47:26 | → | Kamuela_ joins (~textual@2601:18c:8203:d800:145:1034:2ba9:8fdf) |
| 2026-03-09 21:48:26 | × | Kamuela quits (sid111576@id-111576.tinside.irccloud.com) () |
| 2026-03-09 21:48:59 | Kamuela_ | is now known as Kamuela |
| 2026-03-09 21:51:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 21:56:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-09 22:08:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 22:11:18 | × | michalz quits (~michalz@185.246.207.200) (Read error: Connection reset by peer) |
| 2026-03-09 22:12:04 | → | stackdroid18 joins (~stackdroi@user/stackdroid) |
| 2026-03-09 22:12:42 | → | michalz joins (~michalz@185.246.207.205) |
| 2026-03-09 22:15:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-09 22:17:04 | × | Kamuela quits (~textual@2601:18c:8203:d800:145:1034:2ba9:8fdf) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-09 22:26:17 | × | wickedjargon quits (~user@S0106f89e28d5699a.vc.shawcable.net) (Ping timeout: 272 seconds) |
| 2026-03-09 22:26:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 22:31:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-09 22:39:12 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-03-09 22:42:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 22:44:52 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-09 22:47:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-09 22:51:11 | → | Kamuela joins (~kamuela@2601:18c:8203:d800:145:1034:2ba9:8fdf) |
| 2026-03-09 22:53:11 | × | skum quits (~skum@user/skum) (Ping timeout: 265 seconds) |
| 2026-03-09 22:58:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 23:03:13 | × | mangoiv quits (~mangoiv@user/mangoiv) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-09 23:03:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-09 23:03:42 | × | Vajb quits (~Vajb@n7m5g0hrctljxjtgjiv-1.v6.elisa-mobile.fi) (Remote host closed the connection) |
| 2026-03-09 23:03:52 | → | Vajb joins (~Vajb@n7m5g0hrctljxjtgjiv-1.v6.elisa-mobile.fi) |
| 2026-03-09 23:04:36 | → | mangoiv joins (~mangoiv@2a01:4f9:c012:6c0e::) |
| 2026-03-09 23:05:44 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-09 23:07:35 | × | mangoiv quits (~mangoiv@2a01:4f9:c012:6c0e::) (Changing host) |
| 2026-03-09 23:07:35 | → | mangoiv joins (~mangoiv@user/mangoiv) |
| 2026-03-09 23:09:23 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-09 23:09:26 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-03-09 23:12:46 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-03-09 23:14:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 23:17:57 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-09 23:19:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-09 23:21:39 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-03-09 23:25:09 | × | xff0x quits (~xff0x@2405:6580:b080:900:3f2f:c15f:718f:76d4) (Quit: xff0x) |
| 2026-03-09 23:26:42 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2026-03-09 23:27:20 | → | xff0x joins (~xff0x@2405:6580:b080:900:2fb0:3523:ec48:69d) |
| 2026-03-09 23:31:24 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-09 23:31:34 | × | GdeVolpi1 quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2026-03-09 23:33:29 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2026-03-09 23:36:07 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 276 seconds) |
| 2026-03-09 23:46:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-09 23:53:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-09 23:57:40 | × | xff0x quits (~xff0x@2405:6580:b080:900:2fb0:3523:ec48:69d) (Ping timeout: 245 seconds) |
| 2026-03-09 23:58:32 | → | xff0x joins (~xff0x@2405:6580:b080:900:90e4:21a8:dac4:88fd) |
| 2026-03-10 00:07:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-10 00:12:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-10 00:14:58 | × | traxex quits (traxex@user/traxex) (Ping timeout: 244 seconds) |
| 2026-03-10 00:16:30 | → | skum joins (~skum@user/skum) |
| 2026-03-10 00:18:23 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 2026-03-10 00:20:19 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-03-10 00:22:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-10 00:23:35 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-10 00:27:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-10 00:38:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-10 00:44:16 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-10 00:45:53 | × | xff0x quits (~xff0x@2405:6580:b080:900:90e4:21a8:dac4:88fd) (Ping timeout: 252 seconds) |
| 2026-03-10 00:54:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-10 00:59:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-10 01:01:07 | × | mud quits (~mud@user/kadoban) (Remote host closed the connection) |
| 2026-03-10 01:07:07 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2026-03-10 01:10:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-10 01:17:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-10 01:20:36 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-10 01:21:27 | × | Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Ping timeout: 255 seconds) |
| 2026-03-10 01:23:30 | × | acidjnk quits (~acidjnk@p200300d6e700e5883f4cc5b601caa082.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-03-10 01:25:29 | ← | stackdroid18 parts (~stackdroi@user/stackdroid) () |
| 2026-03-10 01:29:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.