Newest at the top
| 2024-10-28 09:21:43 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-10-28 09:20:25 +0100 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2024-10-28 09:18:19 +0100 | Guest53 | (~Guest53@210.160.217.2) |
| 2024-10-28 09:17:48 +0100 | <lambdabot> | Monad m => (t -> m a) -> (a -> m b) -> t -> m b |
| 2024-10-28 09:17:47 +0100 | <Leary> | :t \f g a -> f a >>= g |
| 2024-10-28 09:17:21 +0100 | <mari-estel> | lame |
| 2024-10-28 09:17:15 +0100 | <lambdabot> | 9 |
| 2024-10-28 09:17:13 +0100 | <mari-estel> | > 9 |
| 2024-10-28 09:17:04 +0100 | <jackdk> | mari-estel: ^ |
| 2024-10-28 09:16:54 +0100 | <yahb2> | \f g a -> f a >>= g ; :: Monad m => (t -> m a) -> (a -> m b) -> t -> m b |
| 2024-10-28 09:16:54 +0100 | <jackdk> | % :t \f g a -> f a >>= g |
| 2024-10-28 09:16:46 +0100 | <jackdk> | I think you have to use yahb to use :t , maybe? |
| 2024-10-28 09:16:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-28 09:15:10 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 2024-10-28 09:15:09 +0100 | <mari-estel> | > :t \f g a -> f a >>= g |
| 2024-10-28 09:15:01 +0100 | <mari-estel> | >> :t \f g a -> f a >>= g |
| 2024-10-28 09:11:28 +0100 | jespada | (~jespada@222.203-67-87.adsl-dyn.isp.belgacom.be) jespada |
| 2024-10-28 09:10:08 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-28 09:09:17 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-28 09:09:17 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-10-28 09:05:00 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-28 08:56:15 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-10-28 08:49:27 +0100 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-28 08:44:57 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-10-28 08:44:04 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-10-28 08:42:52 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-10-28 08:42:46 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-28 08:42:44 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-28 08:40:16 +0100 | acidjnk_new | (~acidjnk@p200300d6e72cfb16704d6a71e163a8ef.dip0.t-ipconnect.de) acidjnk |
| 2024-10-28 08:38:25 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-10-28 08:37:49 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-10-28 08:33:00 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-28 08:29:39 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2024-10-28 08:27:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-28 08:25:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 08:22:33 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-28 08:22:13 +0100 | euleritian | (~euleritia@dynamic-176-006-147-100.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-28 08:21:58 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-28 08:20:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 08:11:44 +0100 | michalz | (~michalz@185.246.207.200) |
| 2024-10-28 08:06:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-28 08:05:46 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-10-28 08:05:26 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-28 08:00:43 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-28 08:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-28 07:59:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 07:48:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 07:43:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 07:40:27 +0100 | euleritian | (~euleritia@dynamic-176-006-147-100.176.6.pool.telefonica.de) |
| 2024-10-28 07:35:14 +0100 | euleritian | (~euleritia@dynamic-176-006-136-140.176.6.pool.telefonica.de) (Ping timeout: 255 seconds) |