Logs: liberachat/#haskell
| 2025-08-20 05:04:32 | × | mange quits (~mange@user/mange) (Remote host closed the connection) |
| 2025-08-20 05:04:50 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-08-20 05:06:49 | × | fired quits (~la@173-255-196-82.ip.linodeusercontent.com) (Server closed connection) |
| 2025-08-20 05:07:09 | → | fired joins (la@2600:3c00::f03c:92ff:fee3:aace) |
| 2025-08-20 05:10:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 05:15:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-20 05:17:10 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-08-20 05:18:23 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-08-20 05:18:29 | × | Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (Server closed connection) |
| 2025-08-20 05:18:41 | → | Arsen joins (arsen@gentoo/developer/managarm.dev.Arsen) |
| 2025-08-20 05:19:41 | × | p3n quits (~p3n@217.198.124.246) (Server closed connection) |
| 2025-08-20 05:20:11 | → | p3n joins (~p3n@217.198.124.246) |
| 2025-08-20 05:25:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 05:30:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-20 05:36:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 05:38:20 | → | michalz joins (~michalz@185.246.207.218) |
| 2025-08-20 05:40:49 | × | srk_ quits (~sorki@user/srk) (Read error: Connection reset by peer) |
| 2025-08-20 05:43:06 | <dminuoso> | <iqubic (she/her)> I'm sure there are other examples out there. But much like Haskell itself, I'm a lazy lady |
| 2025-08-20 05:43:13 | <dminuoso> | Obligatory CCC: https://ro-che.info/ccc/11 |
| 2025-08-20 05:43:57 | → | srk_ joins (~sorki@user/srk) |
| 2025-08-20 05:45:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-20 05:50:53 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-08-20 05:55:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 06:00:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-20 06:11:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 06:12:13 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-08-20 06:15:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-20 06:21:41 | × | Square quits (~Square4@user/square) (Remote host closed the connection) |
| 2025-08-20 06:22:17 | → | Square joins (~Square4@user/square) |
| 2025-08-20 06:26:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 06:27:01 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-08-20 06:31:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-20 06:32:15 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-08-20 06:40:30 | × | opencircuit quits (~quassel@user/opencircuit) (Ping timeout: 276 seconds) |
| 2025-08-20 06:41:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 06:43:57 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-20 06:44:42 | × | JamesMowery17736 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2025-08-20 06:45:38 | → | JamesMowery17736 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 2025-08-20 06:46:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-20 06:46:34 | × | piele quits (~piele@eiseth.creativeserver.net) (Server closed connection) |
| 2025-08-20 06:46:46 | → | piele joins (~piele@eiseth.creativeserver.net) |
| 2025-08-20 06:47:37 | × | JamesMowery17736 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Read error: Connection reset by peer) |
| 2025-08-20 06:47:42 | × | srk_ quits (~sorki@user/srk) (Ping timeout: 244 seconds) |
| 2025-08-20 06:48:54 | → | opencircuit joins (~quassel@154.94.15.139) |
| 2025-08-20 06:48:56 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-08-20 06:49:31 | → | JamesMowery17736 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 2025-08-20 06:50:02 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-20 06:54:55 | × | AlexZenon quits (~alzenon@94.233.241.200) (Ping timeout: 256 seconds) |
| 2025-08-20 06:55:16 | × | AlexNoo quits (~AlexNoo@94.233.241.200) (Ping timeout: 244 seconds) |
| 2025-08-20 06:56:19 | → | ubert1 joins (~Thunderbi@91.141.70.208.wireless.dyn.drei.com) |
| 2025-08-20 06:58:41 | → | AlexZenon joins (~alzenon@178.34.150.79) |
| 2025-08-20 06:59:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 06:59:43 | → | acidjnk joins (~acidjnk@p200300d6e71719730951ec550b463772.dip0.t-ipconnect.de) |
| 2025-08-20 07:00:00 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-08-20 07:00:43 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-08-20 07:01:20 | × | JamesMowery17736 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2025-08-20 07:02:22 | → | JamesMowery17736 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 2025-08-20 07:03:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-20 07:09:44 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2025-08-20 07:10:32 | × | JamesMowery17736 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2025-08-20 07:11:22 | → | JamesMowery17736 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 2025-08-20 07:14:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-20 07:17:34 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Server closed connection) |
| 2025-08-20 07:19:10 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 2025-08-20 07:19:18 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-08-20 07:21:32 | × | ft quits (~ft@p508db5fa.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-08-20 07:21:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-20 07:22:48 | → | srk_ joins (~sorki@user/srk) |
| 2025-08-20 07:23:32 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2025-08-20 07:36:36 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-08-20 07:49:42 | → | jreicher joins (~user@user/jreicher) |
| 2025-08-20 07:50:52 | × | Ranhir quits (~Ranhir@157.97.53.139) (Server closed connection) |
| 2025-08-20 07:51:19 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 2025-08-20 07:59:14 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-08-20 08:29:48 | × | jreicher quits (~user@user/jreicher) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-08-20 08:33:27 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-08-20 08:33:43 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-08-20 08:36:44 | → | AlexNoo joins (~AlexNoo@178.34.150.79) |
| 2025-08-20 08:37:13 | → | jreicher joins (~user@user/jreicher) |
| 2025-08-20 08:42:50 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-08-20 08:47:48 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-08-20 08:52:33 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-08-20 08:53:14 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Remote host closed the connection) |
| 2025-08-20 08:55:15 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 2025-08-20 08:57:10 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-08-20 08:57:18 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-08-20 08:57:37 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-20 08:57:50 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-20 08:58:22 | → | kuribas joins (~user@2a02:1810:2825:6000:476:199e:ba1d:96e) |
| 2025-08-20 09:02:09 | <yin> | jreicher: y = \f -> (\x -> f $ x x) (\x -> f $ x x) -- does not typecheck |
| 2025-08-20 09:02:23 | <yin> | jreicher: y = \f -> g g where f $ x x -- does not typecheck |
| 2025-08-20 09:02:48 | <yin> | jreicher: y f = f $ g g where g x = f $ x x -- does not typecheck |
| 2025-08-20 09:03:08 | <yin> | jreicher: y f = f $ y f |
| 2025-08-20 09:03:21 | yin | waves hands |
| 2025-08-20 09:03:23 | <yin> | magic |
| 2025-08-20 09:05:54 | <Leary> | yin: https://gist.github.com/LSLeary/4c7f3ab7622d991cfa22c36efbaf0674 |
| 2025-08-20 09:10:48 | × | Square quits (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2025-08-20 09:13:17 | → | Square joins (~Square4@user/square) |
| 2025-08-20 09:19:29 | → | athan joins (~athan@syn-174-106-168-248.res.spectrum.com) |
| 2025-08-20 09:20:38 | <yin> | Leary: nice. my intuition is to do it like this https://paste.jrvieira.com/1755681564409 |
All times are in UTC.