Newest at the top
| 2024-09-24 14:10:02 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-09-24 14:09:42 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-09-24 14:06:05 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-09-24 14:05:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-09-24 14:04:05 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2024-09-24 14:03:53 +0200 | synchromesh | (~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) synchromesh |
| 2024-09-24 14:02:28 +0200 | synchromesh | (~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) (Read error: Connection reset by peer) |
| 2024-09-24 14:01:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-24 14:01:03 +0200 | euleritian | (~euleritia@dynamic-176-006-139-104.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-24 14:00:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-24 13:59:24 +0200 | <Rembane> | Neat! |
| 2024-09-24 13:58:47 +0200 | <lambdabot> | Arrow a => a b' c' -> a (b', b') (c', c') |
| 2024-09-24 13:58:46 +0200 | <tomsmeding> | @type join (***) |
| 2024-09-24 13:58:06 +0200 | echoreply | (~echoreply@45.32.163.16) (Client Quit) |
| 2024-09-24 13:58:02 +0200 | <Rembane> | Sorry |
| 2024-09-24 13:58:00 +0200 | <Rembane> | :D |
| 2024-09-24 13:57:56 +0200 | <lambdabot> | Arrow a => a b' c' -> a (b', b') (c', c') |
| 2024-09-24 13:57:55 +0200 | <Rembane> | @type \f -> (f *** f) |
| 2024-09-24 13:56:52 +0200 | <lambdabot> | Bifunctor p => (c -> d) -> p c c -> p d d |
| 2024-09-24 13:56:51 +0200 | <tomsmeding> | @type join bimap |
| 2024-09-24 13:55:23 +0200 | <lambdabot> | Bifunctor p => (a -> d) -> p a a -> p d d |
| 2024-09-24 13:55:22 +0200 | <tomsmeding> | @type \f -> bimap f f |
| 2024-09-24 13:53:52 +0200 | euleritian | (~euleritia@dynamic-176-006-139-104.176.6.pool.telefonica.de) |
| 2024-09-24 13:53:46 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-09-24 13:53:22 +0200 | echoreply | (~echoreply@45.32.163.16) echoreply |
| 2024-09-24 13:52:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-09-24 13:50:27 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-09-24 13:43:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-24 13:42:56 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-09-24 13:42:56 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-09-24 13:41:08 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-24 13:40:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-24 13:40:17 +0200 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-24 13:37:00 +0200 | blah | (~user@i220-220-150-1.s41.a013.ap.plala.or.jp) |
| 2024-09-24 13:36:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-24 13:31:03 +0200 | rosco | (~rosco@175.136.158.234) rosco |
| 2024-09-24 13:13:23 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert |
| 2024-09-24 13:02:20 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-24 13:01:05 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2024-09-24 13:00:17 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 255 seconds) |
| 2024-09-24 13:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-24 12:56:29 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert |
| 2024-09-24 12:56:12 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2024-09-24 12:54:34 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 260 seconds) |
| 2024-09-24 12:53:59 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-09-24 12:52:13 +0200 | ubert1 | ubert |
| 2024-09-24 12:51:53 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-09-24 12:49:51 +0200 | ubert1 | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) ubert |
| 2024-09-24 12:49:39 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2024-09-24 12:47:01 +0200 | lucy | (~lucy@user/lucy) lucy |