Newest at the top
| 2025-11-03 23:18:13 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) | 
| 2025-11-03 23:15:45 +0100 | Googulator25 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) | 
| 2025-11-03 23:15:44 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Client Quit) | 
| 2025-11-03 23:14:30 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 256 seconds) | 
| 2025-11-03 23:11:08 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) | 
| 2025-11-03 23:10:52 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) | 
| 2025-11-03 23:07:07 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) | 
| 2025-11-03 23:05:04 +0100 | down200 | (~down200@shell.lug.mtu.edu) down200 | 
| 2025-11-03 23:03:18 +0100 | trickard_ | trickard | 
| 2025-11-03 23:02:23 +0100 | deptype | (~deptype@2406:b400:3a:73c2:392f:697:afd2:a634) | 
| 2025-11-03 23:02:09 +0100 | deptype | (~deptype@2406:b400:3a:73c2:52d0:1d6d:1ba8:75d6) (Remote host closed the connection) | 
| 2025-11-03 22:58:52 +0100 | down200 | (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) | 
| 2025-11-03 22:57:22 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) | 
| 2025-11-03 22:55:38 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich | 
| 2025-11-03 22:53:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn | 
| 2025-11-03 22:44:22 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) | 
| 2025-11-03 22:42:31 +0100 | deptype | (~deptype@2406:b400:3a:73c2:52d0:1d6d:1ba8:75d6) | 
| 2025-11-03 22:42:07 +0100 | deptype | (~deptype@2406:b400:3a:73c2:dfd5:76ea:fb91:ba58) (Remote host closed the connection) | 
| 2025-11-03 22:40:06 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) | 
| 2025-11-03 22:30:27 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik | 
| 2025-11-03 22:28:01 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) | 
| 2025-11-03 22:27:16 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 244 seconds) | 
| 2025-11-03 22:21:47 +0100 | deptype | (~deptype@2406:b400:3a:73c2:dfd5:76ea:fb91:ba58) | 
| 2025-11-03 22:21:35 +0100 | deptype | (~deptype@2406:b400:3a:73c2:58af:1944:6c4b:71e3) (Remote host closed the connection) | 
| 2025-11-03 22:15:56 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) | 
| 2025-11-03 22:15:27 +0100 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) | 
| 2025-11-03 22:09:08 +0100 | Square | (~Square4@user/square) Square | 
| 2025-11-03 22:01:46 +0100 | deptype | (~deptype@2406:b400:3a:73c2:58af:1944:6c4b:71e3) | 
| 2025-11-03 22:01:33 +0100 | deptype | (~deptype@2406:b400:3a:73c2:8466:dd7f:a453:9ebc) (Remote host closed the connection) | 
| 2025-11-03 21:53:58 +0100 | wbadart | (~will@user/wbadart) (Client Quit) | 
| 2025-11-03 21:53:06 +0100 | wbadart | (~will@user/wbadart) wbadart | 
| 2025-11-03 21:46:29 +0100 | Flow | (~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2) | 
| 2025-11-03 21:41:39 +0100 | deptype | (~deptype@2406:b400:3a:73c2:8466:dd7f:a453:9ebc) | 
| 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) |