Logs: liberachat/#haskell
| 2025-08-13 12:06:36 | <lambdabot> | Applicative f => f (b -> c) -> f b -> f c |
| 2025-08-13 12:07:01 | ThePenguin08 | is now known as ThePenguin |
| 2025-08-13 12:07:33 | × | mellowtractor quits (~user@180.151.196.242) (Ping timeout: 252 seconds) |
| 2025-08-13 12:07:57 | × | califax quits (~califax@user/califx) (Ping timeout: 240 seconds) |
| 2025-08-13 12:09:07 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2025-08-13 12:10:01 | <probie> | :t liftA2 ($) |
| 2025-08-13 12:10:02 | <lambdabot> | Applicative f => f (a -> c) -> f a -> f c |
| 2025-08-13 12:11:18 | <yin> | liftA2 id === ap |
| 2025-08-13 12:11:19 | <yin> | nice |
| 2025-08-13 12:15:45 | → | califax joins (~califax@user/califx) |
| 2025-08-13 12:25:24 | <yin> | @pl map h $ g $ f <$> a |
| 2025-08-13 12:25:24 | <lambdabot> | map h (g (f <$> a)) |
| 2025-08-13 12:30:31 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-08-13 12:32:06 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-08-13 12:33:53 | <yin> | finally figured out out to build lambdabot! i had to install external ncurses-libtinfo-devel and cabal install djinn |
| 2025-08-13 12:42:10 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Read error: Connection reset by peer) |
| 2025-08-13 12:42:20 | → | fp1 joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 2025-08-13 12:44:19 | trickard_ | is now known as trickard |
| 2025-08-13 12:44:37 | fp1 | is now known as fp |
| 2025-08-13 12:44:57 | × | septimi quits (9f60f4cb70@user/septimi) (Server closed connection) |
| 2025-08-13 12:45:05 | → | septimi joins (9f60f4cb70@user/septimi) |
| 2025-08-13 12:51:23 | × | spew quits (e9e8135d87@user/spew) (Server closed connection) |
| 2025-08-13 12:51:31 | → | spew joins (e9e8135d87@user/spew) |
| 2025-08-13 12:57:00 | → | davidlbowman joins (~dlb@user/davidlbowman) |
| 2025-08-13 12:57:50 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-08-13 13:16:16 | → | priime joins (~priime@2a01:4ff:f0:7ccc::1) |
| 2025-08-13 13:20:21 | × | jackdk quits (uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity) |
| 2025-08-13 13:21:48 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2025-08-13 13:22:33 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 2025-08-13 13:25:40 | → | Square joins (~Square4@user/square) |
| 2025-08-13 13:29:44 | × | yangby quits (~secret@122.233.221.11) (Ping timeout: 260 seconds) |
| 2025-08-13 13:33:14 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-13 13:39:29 | × | mange quits (~mange@user/mange) (Remote host closed the connection) |
| 2025-08-13 13:40:56 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 2025-08-13 13:44:08 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-08-13 13:45:40 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-08-13 13:54:48 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-08-13 14:04:37 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 248 seconds) |
| 2025-08-13 14:07:35 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: You) |
| 2025-08-13 14:22:20 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-08-13 14:28:42 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-08-13 14:30:21 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-08-13 14:31:54 | → | yangby joins (~secret@122.233.221.11) |
| 2025-08-13 14:33:29 | → | poscat joins (~poscat@user/poscat) |
| 2025-08-13 14:35:37 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-08-13 14:36:05 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-13 14:36:10 | × | traxex quits (traxex@user/traxex) (Quit: Lost terminal) |
| 2025-08-13 14:41:47 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-13 14:46:43 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-13 14:47:31 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-08-13 14:52:46 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-08-13 14:54:54 | × | yangby quits (~secret@122.233.221.11) (Ping timeout: 260 seconds) |
| 2025-08-13 15:06:19 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-08-13 15:09:57 | trickard_ | is now known as trickard |
| 2025-08-13 15:15:51 | × | danso quits (~danso@user/danso) (Server closed connection) |
| 2025-08-13 15:16:06 | → | danso joins (~danso@user/danso) |
| 2025-08-13 15:16:48 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-08-13 15:34:45 | → | ft joins (~ft@p508dbd8e.dip0.t-ipconnect.de) |
| 2025-08-13 15:38:39 | × | duncan quits (c6181279e3@user/meow/duncan) (Server closed connection) |
| 2025-08-13 15:38:49 | → | duncan joins (c6181279e3@user/meow/duncan) |
| 2025-08-13 15:39:51 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-08-13 15:40:19 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-08-13 15:41:54 | → | dolio joins (~dolio@130.44.140.168) |
| 2025-08-13 15:46:50 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-08-13 15:47:53 | → | dolio joins (~dolio@130.44.140.168) |
| 2025-08-13 15:49:02 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-08-13 15:52:48 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-08-13 15:53:12 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-08-13 15:56:23 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-13 15:56:54 | → | yangby joins (~secret@122.233.221.11) |
| 2025-08-13 15:59:28 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-13 16:05:37 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.7.0) |
| 2025-08-13 16:05:50 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-08-13 16:09:58 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-08-13 16:10:49 | × | samhh quits (7569f027cf@2a03:6000:1812:100::e4) (Server closed connection) |
| 2025-08-13 16:10:49 | samhh_ | is now known as samhh |
| 2025-08-13 16:10:58 | → | samhh_ joins (7569f027cf@2a03:6000:1812:100::e4) |
| 2025-08-13 16:29:05 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2025-08-13 16:36:16 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Server closed connection) |
| 2025-08-13 16:36:39 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 2025-08-13 16:36:41 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-13 16:36:50 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-08-13 16:49:44 | × | jespada quits (~jespada@2800:a4:222a:ab00:295c:3b7b:a0eb:63b5) (Ping timeout: 272 seconds) |
| 2025-08-13 16:50:56 | → | jespada joins (~jespada@2800:a4:2247:2400:386f:f20:8fc5:23de) |
| 2025-08-13 16:52:38 | × | sm2n quits (ae95cb1267@user/sm2n) (Server closed connection) |
| 2025-08-13 16:52:46 | → | sm2n joins (ae95cb1267@user/sm2n) |
| 2025-08-13 16:55:51 | × | uint64_t quits (ec7b9bb9f3@2a03:6000:1812:100::139b) (Server closed connection) |
| 2025-08-13 16:56:00 | → | uint64_t joins (ec7b9bb9f3@2a03:6000:1812:100::139b) |
| 2025-08-13 16:56:55 | → | weary-traveler joins (~user@user/user363627) |
| 2025-08-13 16:57:12 | × | weary-traveler quits (~user@user/user363627) (Client Quit) |
| 2025-08-13 16:57:28 | → | weary-traveler joins (~user@user/user363627) |
| 2025-08-13 17:02:16 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-08-13 17:06:46 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-08-13 17:11:19 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-08-13 17:11:56 | × | stureplan quits (22e45d5caf@user/stureplan) (Server closed connection) |
| 2025-08-13 17:12:05 | → | stureplan joins (22e45d5caf@user/stureplan) |
| 2025-08-13 17:16:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-13 17:21:35 | × | b0o quits (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Server closed connection) |
| 2025-08-13 17:21:44 | → | b0o joins (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 2025-08-13 17:23:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
All times are in UTC.