Newest at the top
| 2026-03-28 15:00:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 15:00:33 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-03-28 15:00:25 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-03-28 14:53:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 14:53:10 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-28 14:45:08 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-03-28 14:44:52 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-03-28 14:43:57 +0100 | luke | (~luke@user/luke) (Ping timeout: 246 seconds) |
| 2026-03-28 14:43:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-28 14:39:38 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-28 14:39:23 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-28 14:38:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 14:36:36 +0100 | luke | (~luke@user/luke) (Ping timeout: 246 seconds) |
| 2026-03-28 14:36:36 +0100 | czan | (~czan@user/mange) (Quit: Zzz...) |
| 2026-03-28 14:31:19 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-28 14:27:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 14:23:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 14:22:12 +0100 | <gentauro> | nice |
| 2026-03-28 14:22:03 +0100 | <lambdabot> | (\ x y -> take y x) |
| 2026-03-28 14:22:03 +0100 | <ski> | @unpl flip take |
| 2026-03-28 14:22:03 +0100 | gentauro | un-pointfree |
| 2026-03-28 14:21:44 +0100 | <gentauro> | is there a tool that can convert `flip take` back to `\ xs n -> take n xs`? |
| 2026-03-28 14:20:28 +0100 | <lambdabot> | flip take |
| 2026-03-28 14:20:28 +0100 | <gentauro> | @pl \xs n -> take n xs |
| 2026-03-28 14:20:24 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input `@' |
| 2026-03-28 14:20:23 +0100 | <gentauro> | > @pl \xs n -> take n xs |
| 2026-03-28 14:20:02 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-28 14:12:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 14:07:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 13:59:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-28 13:55:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 13:54:14 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) barrucadu |
| 2026-03-28 13:53:41 +0100 | Freakie | (~Freakie@185.45.22.133) |
| 2026-03-28 13:52:57 +0100 | luke | (~luke@user/luke) (Ping timeout: 248 seconds) |
| 2026-03-28 13:50:33 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-28 13:48:43 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-28 13:44:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 13:44:08 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-03-28 13:42:56 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Quit: leaving) |
| 2026-03-28 13:40:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 13:39:34 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 268 seconds) |
| 2026-03-28 13:32:33 +0100 | luke | (~luke@user/luke) (Ping timeout: 268 seconds) |
| 2026-03-28 13:29:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-28 13:27:41 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-28 13:24:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-28 13:22:15 +0100 | luke | (~luke@user/luke) (Ping timeout: 245 seconds) |
| 2026-03-28 13:17:58 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-28 13:16:36 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-28 13:14:51 +0100 | gmg | (~user@user/gehmehgeh) (Client Quit) |
| 2026-03-28 13:14:07 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |