Newest at the top
| 2025-10-27 10:47:18 +0100 | acidjnk | (~acidjnk@p200300d6e7171970dc8f19326409100f.dip0.t-ipconnect.de) acidjnk |
| 2025-10-27 10:45:35 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-27 10:43:15 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-27 10:43:15 +0100 | LainIwakura88 | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-27 10:38:25 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-27 10:37:36 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-27 10:37:00 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:54f3:a5ff:fe27:e682) (Ping timeout: 256 seconds) |
| 2025-10-27 10:33:11 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-27 10:32:37 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-27 10:32:37 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:54f3:a5ff:fe27:e682) |
| 2025-10-27 10:31:12 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-27 10:30:41 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 10:30:33 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 2025-10-27 10:28:09 +0100 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 10:27:57 +0100 | trickard__ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-27 10:27:56 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-27 10:25:57 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 10:25:42 +0100 | nerdychip_ | (~nerdychip@user/nerdychip) (Ping timeout: 240 seconds) |
| 2025-10-27 10:25:33 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 10:25:13 +0100 | nerdychip | (~nerdychip@user/nerdychip) nerdychip |
| 2025-10-27 10:25:13 +0100 | nerdychip | (~nerdychip@212.129.87.127) (Changing host) |
| 2025-10-27 10:25:13 +0100 | nerdychip | (~nerdychip@212.129.87.127) |
| 2025-10-27 10:15:37 +0100 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-27 10:13:58 +0100 | trickard__ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 10:03:31 +0100 | juri_ | (~juri@implicitcad.org) juri_ |
| 2025-10-27 10:01:22 +0100 | juri_ | (~juri@implicitcad.org) (Ping timeout: 246 seconds) |
| 2025-10-27 10:01:20 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-27 10:00:37 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 10:00:30 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 09:53:57 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
| 2025-10-27 09:50:25 +0100 | LainIwakura88 | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-27 09:47:41 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-27 09:45:58 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-27 09:43:30 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-27 09:41:09 +0100 | ft | (~ft@mue-88-130-104-115.dsl.tropolys.de) (Quit: leaving) |
| 2025-10-27 09:40:44 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 09:40:39 +0100 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 2025-10-27 09:36:23 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 09:36:03 +0100 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 09:32:58 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 256 seconds) |
| 2025-10-27 09:24:46 +0100 | <haskellbridge> | <loonycyborg> and exists still remains implicit :P |
| 2025-10-27 09:24:32 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-27 09:24:12 +0100 | <haskellbridge> | <loonycyborg> and explicit forall is required to convince compiler that we actually mean to introduce that variable |
| 2025-10-27 09:23:53 +0100 | <haskellbridge> | <loonycyborg> Ironically existential types end up requiring explicit forall because the variable exists only at RHS |
| 2025-10-27 09:22:48 +0100 | <haskellbridge> | <loonycyborg> In fact all haskell declarations with a type variable with them have implicit forall for variables mentioned on both sides of equation. |
| 2025-10-27 09:20:39 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 09:20:36 +0100 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 09:09:07 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:1017:fdff:feb2:6f00) (Ping timeout: 260 seconds) |
| 2025-10-27 09:05:19 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-27 09:04:45 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |