Logs: liberachat/#haskell
| 2025-08-25 21:29:40 | <haskellbridge> | <magic_rb> The reason why im looking at TH is because im trying to make this as easy for myself as possible. And i already know TH, i dont know GHC internals at all. So if i can get by with TH + hlint itll make my life so much easier |
| 2025-08-25 21:30:26 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-08-25 21:30:36 | <haskellbridge> | <magic_rb> And also using TH for the codegen seems like a slightly more stable API to bind myself to |
| 2025-08-25 21:30:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 21:30:53 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-08-25 21:37:42 | <monochrom> | This is why an example is worth a thousand words. |
| 2025-08-25 21:40:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 21:41:15 | <monochrom> | OTOH I am not sure how Exp counts as Haskell code. Then again what I said about an example vs a thousand words. |
| 2025-08-25 21:44:29 | → | Idklmaokhe joins (~Idklmaokh@190.97.253.20) |
| 2025-08-25 21:45:41 | × | Idklmaokhe quits (~Idklmaokh@190.97.253.20) (Client Quit) |
| 2025-08-25 21:47:28 | × | tromp quits (~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-25 21:47:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-25 21:50:37 | × | trickard_ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-25 21:50:49 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-25 21:54:44 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-08-25 21:58:25 | × | JSharp quits (sid4580@user/JSharp) (Server closed connection) |
| 2025-08-25 21:58:46 | → | JSharp joins (sid4580@user/JSharp) |
| 2025-08-25 21:58:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 21:59:50 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-08-25 22:03:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-25 22:04:07 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-25 22:05:56 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Remote host closed the connection) |
| 2025-08-25 22:06:21 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2025-08-25 22:09:27 | → | zarakshR joins (~Thunderbi@0542a05a.skybroadband.com) |
| 2025-08-25 22:09:28 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-08-25 22:10:57 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-25 22:14:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 22:19:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 22:22:55 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-08-25 22:23:18 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-25 22:26:11 | → | rustisafungus joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-25 22:27:01 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 258 seconds) |
| 2025-08-25 22:27:24 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-08-25 22:27:31 | → | kadobanana joins (~mud@user/kadoban) |
| 2025-08-25 22:27:47 | × | trickard_ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 258 seconds) |
| 2025-08-25 22:27:48 | × | tremon quits (~tremon@83.80.159.219) (Ping timeout: 258 seconds) |
| 2025-08-25 22:27:48 | × | ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2025-08-25 22:27:48 | × | fgarcia quits (~lei@user/fgarcia) (Ping timeout: 258 seconds) |
| 2025-08-25 22:28:11 | × | mud quits (~mud@user/kadoban) (Ping timeout: 258 seconds) |
| 2025-08-25 22:28:11 | × | ent- quits (entgod@kapsi.fi) (Ping timeout: 258 seconds) |
| 2025-08-25 22:28:24 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-08-25 22:28:28 | → | mniip_ joins (mniip@libera/staff/mniip) |
| 2025-08-25 22:28:49 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-25 22:29:32 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 2025-08-25 22:29:46 | → | ent- joins (entgod@kapsi.fi) |
| 2025-08-25 22:29:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 22:30:03 | → | fgarcia joins (~lei@user/fgarcia) |
| 2025-08-25 22:31:23 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-25 22:32:54 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-25 22:33:32 | × | mniip quits (mniip@libera/staff/mniip) (Ping timeout: 622 seconds) |
| 2025-08-25 22:34:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 22:38:08 | → | jackdk joins (uid373013@cssa/life/jackdk) |
| 2025-08-25 22:39:02 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2025-08-25 22:39:35 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2025-08-25 22:40:05 | → | tremon joins (~tremon@83.80.159.219) |
| 2025-08-25 22:40:44 | trickard_ | is now known as trickard |
| 2025-08-25 22:41:04 | → | weary-traveler joins (~user@user/user363627) |
| 2025-08-25 22:45:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 22:48:38 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-08-25 22:49:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-25 22:57:46 | → | pavonia joins (~user@user/siracusa) |
| 2025-08-25 23:00:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 23:05:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 23:11:44 | × | geekosaur quits (sid609282@xmonad/geekosaur) (Server closed connection) |
| 2025-08-25 23:11:55 | → | geekosaur joins (sid609282@xmonad/geekosaur) |
| 2025-08-25 23:14:35 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-08-25 23:15:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 23:22:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-25 23:26:12 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-25 23:28:29 | × | Techcable quits (sid534393@user/Techcable) (Server closed connection) |
| 2025-08-25 23:29:03 | → | Techcable joins (sid534393@user/Techcable) |
| 2025-08-25 23:29:17 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2025-08-25 23:32:25 | × | acidjnk quits (~acidjnk@p200300d6e71719081443facf871fb4de.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-08-25 23:33:02 | × | sprotte24 quits (~sprotte24@p200300d16f22e400a41ef76cad8884a0.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-08-25 23:33:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 23:38:00 | × | rustisafungus quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-08-25 23:38:08 | × | bjs quits (sid190364@user/bjs) (Server closed connection) |
| 2025-08-25 23:38:22 | → | bjs joins (sid190364@user/bjs) |
| 2025-08-25 23:38:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 23:43:16 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-25 23:49:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 23:50:52 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-25 23:54:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-25 23:56:24 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-08-26 00:04:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 00:04:46 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-08-26 00:05:35 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2025-08-26 00:09:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-26 00:14:44 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2025-08-26 00:17:50 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 245 seconds) |
| 2025-08-26 00:19:06 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-26 00:20:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-26 00:25:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-26 00:26:14 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2025-08-26 00:27:02 | × | hamishmack quits (sid389057@id-389057.hampstead.irccloud.com) (Server closed connection) |
| 2025-08-26 00:27:14 | → | hamishmack joins (sid389057@id-389057.hampstead.irccloud.com) |
| 2025-08-26 00:28:54 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-08-26 00:29:15 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-26 00:29:55 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-08-26 00:30:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC.