Newest at the top
| 2025-11-03 21:41:27 +0100 | deptype | (~deptype@2406:b400:3a:73c2:bbec:e669:874:a802) (Remote host closed the connection) |
| 2025-11-03 21:40:36 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 21:40:22 +0100 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 21:34:20 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) synchromesh |
| 2025-11-03 21:33:18 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:468:2bd4:6999:ccc3) (Read error: Connection reset by peer) |
| 2025-11-03 21:28:37 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-03 21:27:17 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-03 21:21:37 +0100 | deptype | (~deptype@2406:b400:3a:73c2:bbec:e669:874:a802) |
| 2025-11-03 21:21:25 +0100 | deptype | (~deptype@2406:b400:3a:73c2:b5be:98e:ca9b:4c26) (Remote host closed the connection) |
| 2025-11-03 21:20:44 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 21:20:43 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 21:17:09 +0100 | kuribas | (~user@2a02-1810-2825-6000-8c07-8012-a7b5-8ac.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-11-03 21:15:46 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-03 21:15:36 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-03 21:15:13 +0100 | <monochrom> | And with that. join f = \a -> f a a in general, = \a -> (a,a) in particular. |
| 2025-11-03 21:14:57 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 21:14:27 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-03 21:14:16 +0100 | <monochrom> | Unifying x->(y->(x,y)) with m (m a) yields m = (x ->) = (y ->), a = (x,y). It's sometimes a cool trick. |
| 2025-11-03 21:01:36 +0100 | deptype | (~deptype@2406:b400:3a:73c2:b5be:98e:ca9b:4c26) |
| 2025-11-03 21:01:22 +0100 | deptype | (~deptype@2406:b400:3a:73c2:5ea6:8d30:4b4c:ae02) (Remote host closed the connection) |
| 2025-11-03 20:51:55 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-03 20:51:51 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-03 20:41:09 +0100 | deptype | (~deptype@2406:b400:3a:73c2:5ea6:8d30:4b4c:ae02) |
| 2025-11-03 20:40:50 +0100 | deptype | (~deptype@2406:b400:3a:73c2:a58f:95d8:3abc:6ffe) (Remote host closed the connection) |
| 2025-11-03 20:35:08 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-03 20:34:59 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-03 20:32:36 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-03 20:22:22 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-03 20:22:22 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-11-03 20:21:00 +0100 | deptype | (~deptype@2406:b400:3a:73c2:a58f:95d8:3abc:6ffe) |
| 2025-11-03 20:20:47 +0100 | deptype | (~deptype@2406:b400:3a:73c2:2204:701c:abc6:3bec) (Remote host closed the connection) |
| 2025-11-03 20:17:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-03 20:11:39 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-11-03 20:09:50 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-11-03 20:08:51 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-03 20:01:50 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:dcbd:e63a:1e59:c9c4) nschoe |
| 2025-11-03 20:01:33 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:f54f:18e:6e22:e35f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-03 20:01:16 +0100 | deptype | (~deptype@2406:b400:3a:73c2:2204:701c:abc6:3bec) |
| 2025-11-03 20:01:03 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-03 20:00:42 +0100 | deptype | (~deptype@2406:b400:3a:73c2:9398:79da:dabe:3afe) (Remote host closed the connection) |
| 2025-11-03 19:57:14 +0100 | <Rembane> | Interesting |
| 2025-11-03 19:57:08 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-03 19:57:07 +0100 | <lambdabot> | (Expr, Expr) |
| 2025-11-03 19:57:06 +0100 | <Rembane> | :t join (,) x |
| 2025-11-03 19:56:31 +0100 | <lambdabot> | (x,x) |
| 2025-11-03 19:56:29 +0100 | <EvanR> | > join (,) x |
| 2025-11-03 19:56:00 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-03 19:55:58 +0100 | juri_ | (~juri@implicitcad.org) juri_ |
| 2025-11-03 19:55:28 +0100 | <lambdabot> | (42,42) |
| 2025-11-03 19:55:26 +0100 | <dutchie> | > join (,) 42 |