Newest at the top
2025-08-13 14:33:53 +0200 | <yin> | finally figured out out to build lambdabot! i had to install external ncurses-libtinfo-devel and cabal install djinn |
2025-08-13 14:32:06 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-08-13 14:30:31 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
2025-08-13 14:25:24 +0200 | <lambdabot> | map h (g (f <$> a)) |
2025-08-13 14:25:24 +0200 | <yin> | @pl map h $ g $ f <$> a |
2025-08-13 14:15:45 +0200 | califax | (~califax@user/califx) califx |
2025-08-13 14:11:19 +0200 | <yin> | nice |
2025-08-13 14:11:18 +0200 | <yin> | liftA2 id === ap |
2025-08-13 14:10:02 +0200 | <lambdabot> | Applicative f => f (a -> c) -> f a -> f c |
2025-08-13 14:10:01 +0200 | <probie> | :t liftA2 ($) |
2025-08-13 14:09:07 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
2025-08-13 14:07:57 +0200 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
2025-08-13 14:07:33 +0200 | mellowtractor | (~user@180.151.196.242) (Ping timeout: 252 seconds) |
2025-08-13 14:07:01 +0200 | ThePenguin08 | ThePenguin |
2025-08-13 14:06:36 +0200 | <lambdabot> | Applicative f => f (b -> c) -> f b -> f c |
2025-08-13 14:06:35 +0200 | <yin> | :t liftA2 id |
2025-08-13 14:06:02 +0200 | <lambdabot> | liftA2 id (f <$> a) b |
2025-08-13 14:06:02 +0200 | <yin> | @pl liftA2 ($) (f <$> a) b |
2025-08-13 13:56:20 +0200 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp |
2025-08-13 13:56:05 +0200 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Client Quit) |
2025-08-13 13:55:15 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-13 13:53:58 +0200 | fp1 | fp |
2025-08-13 13:53:58 +0200 | fp | (~Thunderbi@2001:708:150:10::72df) (Read error: Connection reset by peer) |
2025-08-13 13:53:53 +0200 | fp1 | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp |
2025-08-13 13:53:22 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-08-13 13:48:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
2025-08-13 13:46:01 +0200 | michalz | (~michalz@185.246.207.217) |
2025-08-13 13:45:27 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-08-13 13:45:27 +0200 | haritz | (~hrtz@209.35.65.79) (Changing host) |
2025-08-13 13:45:27 +0200 | haritz | (~hrtz@209.35.65.79) |
2025-08-13 13:43:58 +0200 | jakzale | (6291399afa@user/jakzale) jakzale |
2025-08-13 13:43:50 +0200 | jakzale | (6291399afa@user/jakzale) (Server closed connection) |
2025-08-13 13:43:40 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
2025-08-13 13:43:32 +0200 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
2025-08-13 13:43:19 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
2025-08-13 13:41:16 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-13 13:39:38 +0200 | michalz | (~michalz@185.246.207.193) |
2025-08-13 13:39:23 +0200 | Guest80 | (~Guest80@180.190.208.145) (Client Quit) |
2025-08-13 13:37:09 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
2025-08-13 13:36:59 +0200 | Guest80 | (~Guest80@180.190.208.145) |
2025-08-13 13:36:25 +0200 | michalz | (~michalz@185.246.207.217) |
2025-08-13 13:33:51 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
2025-08-13 13:33:25 +0200 | michalz | (~michalz@185.246.207.217) |
2025-08-13 13:30:56 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
2025-08-13 13:23:17 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2025-08-13 13:20:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c488:ca49:9294:78c2) |
2025-08-13 13:17:21 +0200 | michalz | (~michalz@185.246.207.217) |
2025-08-13 13:14:52 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
2025-08-13 13:14:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-13 13:07:37 +0200 | raym | (~ray@user/raym) raym |