Logs: liberachat/#haskell
| 2025-09-11 19:06:06 | <dminuoso> | The type system will cover practically all uses, and for non-trivial ideas of a section expression you can always just degrade to an explicit lambda - just like with current operator sections. |
| 2025-09-11 19:08:24 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-11 19:09:02 | × | byorgey quits (~byorgey@user/byorgey) (Ping timeout: 260 seconds) |
| 2025-09-11 19:09:20 | → | byorgey joins (~byorgey@user/byorgey) |
| 2025-09-11 19:11:29 | → | sprotte24_ joins (~sprotte24@p5dd5d928.dip0.t-ipconnect.de) |
| 2025-09-11 19:12:36 | × | Alleria quits (~Alleria@user/alleria) (Read error: Connection reset by peer) |
| 2025-09-11 19:12:38 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-11 19:12:51 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-09-11 19:13:53 | × | Beowulf quits (florian@gabilgathol.bandrate.org) (Quit: = "") |
| 2025-09-11 19:14:52 | × | sprotte24 quits (~sprotte24@p5dd5d928.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-09-11 19:15:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 19:16:24 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2025-09-11 19:16:32 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-09-11 19:16:38 | gehmehgeh | is now known as gmg |
| 2025-09-11 19:16:48 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-09-11 19:19:39 | → | Beowulf joins (florian@gabilgathol.bandrate.org) |
| 2025-09-11 19:19:42 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-09-11 19:20:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-11 19:22:36 | → | Alleria joins (~Alleria@user/alleria) |
| 2025-09-11 19:25:16 | × | emperori quits (~emperori@2401:4900:6299:772f:dc20:49b3:341f:d3e3) (Ping timeout: 256 seconds) |
| 2025-09-11 19:31:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 19:33:14 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-09-11 19:36:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-11 19:45:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 19:46:23 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-09-11 19:46:57 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2025-09-11 19:50:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-11 20:01:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 20:05:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-11 20:06:01 | × | Vq quits (~vq@90-224-37-169-no600.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2025-09-11 20:07:58 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-11 20:12:29 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-11 20:12:55 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-11 20:12:59 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-09-11 20:13:07 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-11 20:14:47 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-09-11 20:16:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 20:18:04 | × | fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-09-11 20:20:22 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-11 20:20:35 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-11 20:23:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-11 20:23:53 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-11 20:27:12 | × | myme quits (~myme@2a01:799:d5e:5f00:a615:4b08:208e:f085) (Ping timeout: 265 seconds) |
| 2025-09-11 20:27:54 | → | myme joins (~myme@2a01:799:d5e:5f00:e0b2:6c10:9733:ecc) |
| 2025-09-11 20:31:28 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-09-11 20:32:13 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 2025-09-11 20:34:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 20:36:33 | × | V quits (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 248 seconds) |
| 2025-09-11 20:36:35 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-09-11 20:38:24 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-11 20:40:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-11 20:41:05 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-09-11 20:42:27 | → | V joins (~v@ircpuzzles/2022/april/winner/V) |
| 2025-09-11 20:50:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 20:54:22 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-11 20:55:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-11 20:56:38 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-11 20:56:51 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-11 20:56:52 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-11 20:58:09 | → | img joins (~img@user/img) |
| 2025-09-11 20:59:29 | × | michalz quits (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2025-09-11 20:59:39 | → | segfaultfizzbuzz joins (~segfaultf@c-73-93-227-157.hsd1.ca.comcast.net) |
| 2025-09-11 21:06:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 21:06:49 | → | Sunny joins (19541d7ff8@irc.cheogram.com) |
| 2025-09-11 21:07:27 | Sunny | is now known as _test |
| 2025-09-11 21:07:36 | _test | is now known as _testytest |
| 2025-09-11 21:09:49 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2025-09-11 21:11:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-11 21:22:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 21:22:08 | → | pavonia joins (~user@user/siracusa) |
| 2025-09-11 21:27:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-11 21:36:24 | × | segfaultfizzbuzz quits (~segfaultf@c-73-93-227-157.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2025-09-11 21:37:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 21:42:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-11 21:43:58 | → | weary-traveler joins (~user@user/user363627) |
| 2025-09-11 21:49:40 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-09-11 21:53:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 21:59:50 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-11 22:00:03 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-11 22:00:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-11 22:02:27 | → | ld86 joins (~ld86@mort-07-b2-v4wan-169474-cust3363.vm24.cable.virginm.net) |
| 2025-09-11 22:02:54 | × | ld86 quits (~ld86@mort-07-b2-v4wan-169474-cust3363.vm24.cable.virginm.net) (Client Quit) |
| 2025-09-11 22:05:08 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-11 22:07:31 | → | tzh_ joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-11 22:07:42 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 2025-09-11 22:09:18 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-09-11 22:10:53 | → | karenw_ joins (~karenw@user/karenw) |
| 2025-09-11 22:11:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 22:16:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-11 22:19:43 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-09-11 22:19:59 | → | weary-traveler joins (~user@user/user363627) |
| 2025-09-11 22:25:19 | → | user363627 joins (~user@user/user363627) |
| 2025-09-11 22:27:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 22:29:13 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 250 seconds) |
| 2025-09-11 22:30:16 | × | humodz quits (~humodz@user/humodz) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-11 22:32:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-11 22:33:39 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-11 22:38:07 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
| 2025-09-11 22:39:33 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-09-11 22:42:16 | <monochrom> | Heh I wished section syntax to be more general too, but I can see that it could easily get out of hand. |
All times are in UTC.