Logs: liberachat/#haskell
| 2025-12-10 06:48:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 06:49:49 | → | p3n joins (~p3n@217.198.124.246) |
| 2025-12-10 06:57:55 | <int-e> | well, all those three terms are alpha-equivalent |
| 2025-12-10 06:59:12 | <int-e> | But maybe you want to rename distinct variables apart; in that case the third term doesn't accomplish that. |
| 2025-12-10 06:59:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 07:03:33 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 07:03:46 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 07:05:07 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-12-10 07:05:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 07:08:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 07:10:27 | <Guest7> | yeah, I found that the hard way lol |
| 2025-12-10 07:11:58 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-12-10 07:13:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 07:22:49 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2025-12-10 07:24:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 07:27:29 | × | annamalai quits (~annamalai@157.33.222.119) (Ping timeout: 250 seconds) |
| 2025-12-10 07:29:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-10 07:32:11 | → | Square joins (~Square4@user/square) |
| 2025-12-10 07:40:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 07:41:02 | → | annamalai joins (~annamalai@2409:4042:d37:b495::9e0a:ba05) |
| 2025-12-10 07:42:25 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-10 07:45:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-10 07:45:59 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-10 07:50:38 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-12-10 07:51:21 | × | Guest7 quits (~Guest93@38.49.92.193) (Ping timeout: 272 seconds) |
| 2025-12-10 07:56:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 08:00:44 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-12-10 08:02:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-10 08:03:55 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-10 08:05:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:9873:8ff7:840:18a8) |
| 2025-12-10 08:08:55 | → | chewybread joins (~chewybrea@133.9.75.2) |
| 2025-12-10 08:08:56 | × | chewybread quits (~chewybrea@133.9.75.2) (Changing host) |
| 2025-12-10 08:08:56 | → | chewybread joins (~chewybrea@user/chewybread) |
| 2025-12-10 08:09:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-10 08:11:31 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-10 08:14:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-10 08:17:41 | × | ft quits (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-10 08:20:07 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2025-12-10 08:32:05 | × | tromp quits (~textual@2001:1c00:3487:1b00:9873:8ff7:840:18a8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-10 08:32:28 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-10 08:32:48 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 08:34:44 | trickard_ | is now known as trickard |
| 2025-12-10 08:36:21 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 08:37:01 | × | chewybread quits (~chewybrea@user/chewybread) (Ping timeout: 246 seconds) |
| 2025-12-10 08:40:50 | → | tromp joins (~textual@2001:1c00:3487:1b00:9873:8ff7:840:18a8) |
| 2025-12-10 08:43:20 | → | acidjnk joins (~acidjnk@p200300d6e717192391252480cf04477b.dip0.t-ipconnect.de) |
| 2025-12-10 08:43:36 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 08:46:43 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-10 08:52:13 | → | chewybread joins (~chewybrea@133.9.75.2) |
| 2025-12-10 08:52:13 | × | chewybread quits (~chewybrea@133.9.75.2) (Changing host) |
| 2025-12-10 08:52:13 | → | chewybread joins (~chewybrea@user/chewybread) |
| 2025-12-10 08:53:07 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-12-10 08:56:36 | × | chewybread quits (~chewybrea@user/chewybread) (Ping timeout: 256 seconds) |
| 2025-12-10 08:59:47 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-10 09:02:20 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-10 09:02:54 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-12-10 09:03:04 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-12-10 09:05:19 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-10 09:07:26 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-10 09:17:50 | trickard_ | is now known as trickard |
| 2025-12-10 09:19:11 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2025-12-10 09:21:38 | → | Googulator joins (~Googulato@2a01-036d-0106-2445-0060-08d9-b766-79a8.pool6.digikabel.hu) |
| 2025-12-10 09:29:30 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-12-10 09:41:12 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-10 09:42:41 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-12-10 09:42:58 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-10 09:43:45 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-10 09:44:05 | × | Googulator quits (~Googulato@2a01-036d-0106-2445-0060-08d9-b766-79a8.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-10 09:54:49 | → | chewybread joins (~chewybrea@133.9.75.2) |
| 2025-12-10 09:54:50 | × | chewybread quits (~chewybrea@133.9.75.2) (Changing host) |
| 2025-12-10 09:54:50 | → | chewybread joins (~chewybrea@user/chewybread) |
| 2025-12-10 09:58:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-10 09:59:21 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-10 10:01:17 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-12-10 10:05:13 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2025-12-10 10:05:26 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-10 10:05:40 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-10 10:06:03 | energizer_ | is now known as energizer |
| 2025-12-10 10:08:35 | → | chele joins (~chele@user/chele) |
| 2025-12-10 10:20:09 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2025-12-10 10:29:40 | → | wickedjargon joins (~user@64.114.24.74) |
| 2025-12-10 10:47:40 | trickard_ | is now known as trickard |
| 2025-12-10 10:51:00 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 2025-12-10 10:52:35 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-10 11:03:06 | <lucabtz> | i implemented the grid functionality i was asking about a few days ago https://paste.tomsmeding.com/QNyPZ97n |
| 2025-12-10 11:03:43 | <lucabtz> | what would make the Applicative instance would be pure = singleton and <*> = applyTo |
| 2025-12-10 11:05:52 | → | xff0x joins (~xff0x@2405:6580:b080:900:9fc6:fc26:b514:683b) |
| 2025-12-10 11:06:03 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-10 11:12:25 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-10 11:19:50 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-10 11:23:35 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-12-10 11:24:07 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-10 11:28:15 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-12-10 11:29:13 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-10 11:31:49 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-12-10 11:33:15 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-12-10 11:33:15 | ljdarj1 | is now known as ljdarj |
| 2025-12-10 11:35:05 | × | chewybread quits (~chewybrea@user/chewybread) (Remote host closed the connection) |
| 2025-12-10 11:40:19 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-10 11:46:35 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
All times are in UTC.