Newest at the top
| 2025-05-15 11:58:52 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 276 seconds) |
| 2025-05-15 11:54:30 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds) |
| 2025-05-15 11:49:55 +0200 | rncwnd_ | (~quassel@2a01:4f8:221:27c6::1) (Remote host closed the connection) |
| 2025-05-15 11:48:55 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 11:48:09 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 11:47:59 +0200 | euleritian | (~euleritia@37.4.249.248) (Ping timeout: 260 seconds) |
| 2025-05-15 11:47:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-15 11:46:41 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:42:53 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:42:38 +0200 | nullobject | (~josh@user/nullobject) (Quit: WeeChat 4.1.1) |
| 2025-05-15 11:38:17 +0200 | <ski> | yin ^ |
| 2025-05-15 11:37:49 +0200 | <lambdabot> | * -> (* -> *) -> * -> * |
| 2025-05-15 11:37:48 +0200 | <ski> | @kind StateT |
| 2025-05-15 11:37:29 +0200 | <lambdabot> | (* -> *) -> Constraint |
| 2025-05-15 11:37:29 +0200 | <ski> | @kind Functor |
| 2025-05-15 11:37:11 +0200 | <lambdabot> | * -> Constraint |
| 2025-05-15 11:37:10 +0200 | <ski> | @kind Eq |
| 2025-05-15 11:36:18 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:36:18 +0200 | pierrot | (~pi@user/pierrot) pierrot |
| 2025-05-15 11:36:02 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:35:12 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:34:56 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:33:55 +0200 | img | (~img@user/img) img |
| 2025-05-15 11:33:52 +0200 | pierrot | (~pi@user/pierrot) (Ping timeout: 252 seconds) |
| 2025-05-15 11:32:31 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-15 11:31:21 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:30:35 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:29:21 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:27:53 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:26:31 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:26:27 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-15 11:24:59 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:23:34 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:20:49 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-15 11:18:33 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-15 11:18:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 11:08:26 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-15 11:03:25 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-05-15 11:03:19 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-15 11:00:50 +0200 | Square | (~Square4@user/square) Square |
| 2025-05-15 10:58:41 +0200 | Square2 | (~Square@user/square) Square |
| 2025-05-15 10:52:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-05-15 10:47:50 +0200 | hellwolf | throwing random references |
| 2025-05-15 10:47:17 +0200 | <hellwolf> | Kind in a typed land |
| 2025-05-15 10:46:09 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f4555c97e44a9e822da.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-15 10:46:02 +0200 | <yahb2> | <no output> |
| 2025-05-15 10:46:02 +0200 | <tomsmeding> | % data Strange = Strange Type |
| 2025-05-15 10:45:25 +0200 | <hellwolf> | no on expected the type-in-type inquisition. |
| 2025-05-15 10:44:02 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-15 10:39:29 +0200 | <yahb2> | Maybe :: * -> * |