Logs: liberachat/#haskell
| 2025-11-04 15:40:10 | × | Jackneill_ quits (~Jackneill@94-21-95-130.pool.digikabel.hu) (Max SendQ exceeded) |
| 2025-11-04 15:40:40 | → | Jackneill_ joins (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 2025-11-04 15:42:05 | × | Jackneill_ quits (~Jackneill@94-21-95-130.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-04 15:42:32 | → | Jackneill_ joins (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 2025-11-04 15:44:31 | × | Jackneill_ quits (~Jackneill@94-21-95-130.pool.digikabel.hu) (Max SendQ exceeded) |
| 2025-11-04 15:44:42 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:7620:a814:81ca:1405) |
| 2025-11-04 15:44:54 | → | Jackneill_ joins (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 2025-11-04 15:45:01 | × | deptype quits (~deptype@2406:b400:3a:73c2:a915:dab7:6b73:f640) (Remote host closed the connection) |
| 2025-11-04 15:49:33 | → | Zemy joins (~Zemy@2600:100c:b0a8:c287:4054:69ff:fe6f:ba19) |
| 2025-11-04 15:51:22 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-04 15:52:09 | × | Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-04 15:52:25 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 244 seconds) |
| 2025-11-04 15:52:34 | × | wickedjargon quits (~user@64.114.24.74) (Remote host closed the connection) |
| 2025-11-04 15:58:33 | → | jackneill__ joins (~Jackneill@188-143-82-32.pool.digikabel.hu) |
| 2025-11-04 16:01:15 | × | Jackneill_ quits (~Jackneill@94-21-95-130.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2025-11-04 16:04:56 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:7620:a814:81ca:1405) (Remote host closed the connection) |
| 2025-11-04 16:05:15 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-11-04 16:05:31 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:16ee:40ed:bc66:c8a) |
| 2025-11-04 16:09:51 | × | Flow quits (~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2) |
| 2025-11-04 16:10:31 | → | Flow joins (~none@gentoo/developer/flow) |
| 2025-11-04 16:11:56 | → | Zemy_ joins (~Zemy@mobile-107-80-206-4.mycingular.net) |
| 2025-11-04 16:15:17 | × | Zemy quits (~Zemy@2600:100c:b0a8:c287:4054:69ff:fe6f:ba19) (Ping timeout: 260 seconds) |
| 2025-11-04 16:15:39 | → | Googulator73 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 16:15:45 | × | Googulator85 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 16:19:37 | × | akegalj quits (~akegalj@78-1-55-1.adsl.net.t-com.hr) (Quit: leaving) |
| 2025-11-04 16:20:36 | → | Zemy joins (~Zemy@2600:100c:b0a8:c287:e0d3:9bff:fe8d:1ac5) |
| 2025-11-04 16:22:31 | <merijn> | chromoblob: Because type-level functions without restrictions makes type checking undecidable |
| 2025-11-04 16:23:11 | <merijn> | chromoblob: The TypeFamilies extension gives you a limited form of type-level functions |
| 2025-11-04 16:23:48 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-04 16:24:22 | × | Zemy_ quits (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 246 seconds) |
| 2025-11-04 16:24:58 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:16ee:40ed:bc66:c8a) (Remote host closed the connection) |
| 2025-11-04 16:25:11 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:6814:5db7:263e:812e) |
| 2025-11-04 16:29:46 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-04 16:34:51 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-11-04 16:35:57 | × | Googulator73 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 16:36:07 | → | Googulator73 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 16:37:32 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-04 16:38:56 | × | tromp quits (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-04 16:41:24 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-11-04 16:43:37 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-11-04 16:45:00 | × | deptype_ quits (~deptype@2406:b400:3a:73c2:6814:5db7:263e:812e) (Remote host closed the connection) |
| 2025-11-04 16:45:14 | → | deptype_ joins (~deptype@2406:b400:3a:73c2:d1d7:690a:17de:8f6e) |
| 2025-11-04 16:48:50 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-04 16:49:16 | × | Dhark8 quits (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 255 seconds) |
| 2025-11-04 16:50:49 | → | daveyjohnslocker joins (~koriome@rover-213-218.rovernet.mtu.edu) |
| 2025-11-04 16:51:20 | → | tromp joins (~textual@2001:1c00:3487:1b00:89c3:e50e:fb04:c03c) |
| 2025-11-04 16:56:06 | → | Googulator82 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 16:56:26 | × | daveyjohnslocker quits (~koriome@rover-213-218.rovernet.mtu.edu) (Quit: Leaving) |
| 2025-11-04 16:56:39 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-04 16:57:47 | × | Googulator73 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 17:00:49 | → | Googulator69 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 17:00:51 | × | Googulator82 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) |
| 2025-11-04 17:06:59 | Googulator69 | is now known as Googulator |
| 2025-11-04 17:08:02 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-04 17:08:15 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-04 17:08:56 | → | Square2 joins (~Square@user/square) |
| 2025-11-04 17:12:37 | × | Square quits (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2025-11-04 17:12:43 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-04 17:19:54 | × | comonad quits (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-11-04 17:20:46 | → | Googulator37 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 17:20:56 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 17:23:40 | → | Zemy_ joins (~Zemy@mobile-107-80-206-9.mycingular.net) |
| 2025-11-04 17:24:10 | × | bggd quits (~bgg@2a01:e0a:819:1510:5fce:dd4e:6143:f2ae) (Quit: std::move) |
| 2025-11-04 17:24:30 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-11-04 17:25:00 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-04 17:25:28 | → | Core5914 joins (~Zemy@12.50.228.210) |
| 2025-11-04 17:25:52 | × | Zemy quits (~Zemy@2600:100c:b0a8:c287:e0d3:9bff:fe8d:1ac5) (Ping timeout: 260 seconds) |
| 2025-11-04 17:27:56 | × | Zemy_ quits (~Zemy@mobile-107-80-206-9.mycingular.net) (Ping timeout: 256 seconds) |
| 2025-11-04 17:29:28 | → | comonad joins (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 2025-11-04 17:33:41 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-04 17:34:37 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-11-04 17:35:01 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:558c:d99e:4747:d808) |
| 2025-11-04 17:35:01 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:558c:d99e:4747:d808) (Changing host) |
| 2025-11-04 17:35:01 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-11-04 17:35:11 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2025-11-04 17:35:35 | × | Googulator37 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 17:35:44 | → | Googulator37 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 17:35:47 | × | comonad quits (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-11-04 17:35:51 | → | Chromakopia joins (~Chromakop@216.45.16.220) |
| 2025-11-04 17:36:40 | × | Chromakopia quits (~Chromakop@216.45.16.220) (Client Quit) |
| 2025-11-04 17:37:11 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 265 seconds) |
| 2025-11-04 17:40:51 | × | Googulator37 quits (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 17:40:56 | → | Googulator61 joins (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 17:43:30 | × | Everything quits (~Everythin@88.155.40.206) (Read error: Connection reset by peer) |
| 2025-11-04 17:44:10 | → | Zemy joins (~Zemy@2600:100c:b0a8:c287:ab:5eff:fe32:cebc) |
| 2025-11-04 17:44:10 | × | Core5914 quits (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 2025-11-04 17:45:01 | × | Inline quits (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 2025-11-04 17:45:44 | → | Zemy_ joins (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2025-11-04 17:46:56 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-11-04 17:48:59 | × | Zemy quits (~Zemy@2600:100c:b0a8:c287:ab:5eff:fe32:cebc) (Ping timeout: 260 seconds) |
| 2025-11-04 17:48:59 | × | Zemy_ quits (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2025-11-04 17:49:02 | → | Core7560 joins (~Zemy@2600:100c:b0a8:c287:6c9d:22ff:fe3b:a202) |
| 2025-11-04 17:49:30 | → | Zemy joins (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2025-11-04 17:49:55 | × | Core7560 quits (~Zemy@2600:100c:b0a8:c287:6c9d:22ff:fe3b:a202) (Read error: Connection reset by peer) |
| 2025-11-04 17:50:24 | → | Zemy_ joins (~Zemy@2600:100c:b0a8:c287:a0dd:a4ff:fe1c:ba6a) |
| 2025-11-04 17:51:00 | → | Core8958 joins (~Zemy@mobile-107-80-206-16.mycingular.net) |
| 2025-11-04 17:53:43 | × | Zemy quits (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-11-04 17:55:02 | × | Zemy_ quits (~Zemy@2600:100c:b0a8:c287:a0dd:a4ff:fe1c:ba6a) (Ping timeout: 260 seconds) |
| 2025-11-04 17:55:35 | → | comonad joins (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 2025-11-04 17:56:33 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
All times are in UTC.