Logs: liberachat/#haskell
| 2025-10-17 21:40:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 21:42:01 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-17 21:51:16 | → | AlexNoo joins (~AlexNoo@85.174.180.124) |
| 2025-10-17 21:51:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 21:56:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-17 21:56:30 | → | AlexZenon joins (~alzenon@85.174.180.124) |
| 2025-10-17 21:57:59 | × | tromp quits (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-17 21:59:03 | <ski> | [exa] : not if the guard is in that `case'. but there could be another level of pattern-matching and guards |
| 2025-10-17 21:59:21 | <ski> | (hard to say more, without seeing the before & after code) |
| 2025-10-17 21:59:45 | × | poxel quits (~poxel@user/poxel) (Quit: WeeChat 4.6.3) |
| 2025-10-17 22:06:50 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2025-10-17 22:07:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 22:13:02 | × | Inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-10-17 22:13:14 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 248 seconds) |
| 2025-10-17 22:13:22 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-17 22:13:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 22:14:00 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 22:14:32 | → | Inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-17 22:21:02 | × | Inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-10-17 22:25:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 22:26:49 | → | OftenFaded52 joins (~OftenFade@user/tisktisk) |
| 2025-10-17 22:29:05 | ← | OftenFaded52 parts (~OftenFade@user/tisktisk) () |
| 2025-10-17 22:29:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 22:30:58 | → | williu5 joins (~williu5@user/williu5) |
| 2025-10-17 22:36:49 | → | Guest35 joins (~Guest35@2601:445:701:128b:81d2:9396:b0b4:2042) |
| 2025-10-17 22:37:44 | × | Guest35 quits (~Guest35@2601:445:701:128b:81d2:9396:b0b4:2042) (Client Quit) |
| 2025-10-17 22:37:52 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-10-17 22:39:21 | → | bggd joins (~bgg@2a01:e0a:819:1510:f5d2:a275:c958:d954) |
| 2025-10-17 22:40:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 22:45:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 22:46:53 | trickard_ | is now known as trickard |
| 2025-10-17 22:47:12 | Unicorn_Princes- | is now known as Unicorn_Princes |
| 2025-10-17 22:52:11 | × | Unicorn_Princes quits (~Unicorn_P@89.143.18.181) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in) |
| 2025-10-17 22:53:00 | → | Inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-17 22:54:10 | × | gustrb quits (~gustrb@191.243.134.87) (Remote host closed the connection) |
| 2025-10-17 22:54:34 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-17 22:56:32 | × | haltsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-17 22:56:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 22:56:51 | → | haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-17 23:00:10 | × | synchromesh quits (~john@2406:5a00:2412:2c00:cdb4:7a44:2b9b:14b0) (Read error: Connection reset by peer) |
| 2025-10-17 23:00:58 | → | synchromesh joins (~john@2406:5a00:2412:2c00:946e:eb4c:8b28:63bf) |
| 2025-10-17 23:01:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 23:09:52 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-10-17 23:12:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 23:17:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-17 23:19:57 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-17 23:20:10 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-17 23:26:41 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-10-17 23:28:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 23:31:53 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-10-17 23:32:42 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-17 23:32:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 23:34:51 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-17 23:36:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 23:41:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 23:41:25 | × | bcksl quits (~bcksl@user/bcksl) (Ping timeout: 265 seconds) |
| 2025-10-17 23:41:54 | × | end quits (~end@user/end/x-0094621) (Ping timeout: 265 seconds) |
| 2025-10-17 23:42:51 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-10-17 23:42:52 | × | sus0 quits (zero@user/zeromomentum) (Ping timeout: 265 seconds) |
| 2025-10-17 23:51:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 23:58:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-18 00:02:36 | → | bcksl joins (~bcksl@user/bcksl) |
| 2025-10-18 00:05:37 | → | karenw_ joins (~karenw@user/karenw) |
| 2025-10-18 00:07:50 | → | end joins (~end@user/end/x-0094621) |
| 2025-10-18 00:09:25 | trickard_ | is now known as trickard |
| 2025-10-18 00:09:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 00:10:32 | × | Googulator16 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-18 00:10:41 | → | Googulator16 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-18 00:12:21 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-10-18 00:14:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-18 00:15:50 | → | Googulator18 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-18 00:15:50 | × | Googulator16 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-18 00:15:52 | × | pabs3 quits (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2025-10-18 00:18:53 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2025-10-18 00:21:37 | → | Psychotic1 joins (~Psychotic@2600:1007:b03e:2f77:517f:1a3d:2df2:a366) |
| 2025-10-18 00:22:09 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-10-18 00:22:32 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-10-18 00:25:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 00:26:03 | × | synchromesh quits (~john@2406:5a00:2412:2c00:946e:eb4c:8b28:63bf) (Quit: WeeChat 4.1.1) |
| 2025-10-18 00:28:42 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 2025-10-18 00:28:45 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-18 00:31:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-18 00:32:29 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-18 00:41:23 | → | Esa_ joins (~esa.syt@user/Esa-:33866) |
| 2025-10-18 00:41:30 | ← | Esa_ parts (~esa.syt@user/Esa-:33866) () |
| 2025-10-18 00:41:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 00:44:13 | × | otto_s quits (~user@p5de2f2fc.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-10-18 00:44:16 | → | califax joins (~califax@user/califx) |
| 2025-10-18 00:45:56 | → | otto_s joins (~user@p5b044368.dip0.t-ipconnect.de) |
| 2025-10-18 00:45:58 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 246 seconds) |
| 2025-10-18 00:46:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-18 00:51:57 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-10-18 00:57:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-18 01:02:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-18 01:02:40 | → | ephilalethes joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 2025-10-18 01:05:35 | → | califax_ joins (~califax@user/califx) |
| 2025-10-18 01:05:44 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-10-18 01:06:50 | califax_ | is now known as califax |
| 2025-10-18 01:10:57 | × | acidjnk quits (~acidjnk@p200300d6e71719070129677a31b7bc88.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-10-18 01:11:33 | × | haltsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
All times are in UTC.