Newest at the top
| 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 :: * -> * |
| 2025-05-15 10:39:28 +0200 | <tomsmeding> | % :k Maybe |
| 2025-05-15 10:37:19 +0200 | <yin> | is it normal that the more i experiment with haskell, the more i want the type system to have a type system? |
| 2025-05-15 10:36:59 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-15 10:24:06 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 10:20:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 10:19:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 10:17:45 +0200 | octorez | (~octorez@194.32.120.60) (Quit: Client closed) |
| 2025-05-15 10:16:33 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-05-15 10:08:10 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-15 10:06:36 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-15 10:03:10 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-05-15 09:57:30 +0200 | chele | (~chele@user/chele) chele |
| 2025-05-15 09:47:45 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-15 09:47:28 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-15 09:42:17 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-05-15 09:41:18 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-05-15 09:33:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 09:33:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 09:32:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 09:29:55 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 09:29:51 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-15 09:27:09 +0200 | octorez | (~octorez@194.32.120.60) |
| 2025-05-15 09:18:47 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-05-15 09:17:22 +0200 | euleritian | (~euleritia@37.4.249.248) |
| 2025-05-15 09:16:51 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-15 09:06:10 +0200 | <EvanR> | will be reading this |
| 2025-05-15 09:05:54 +0200 | <EvanR> | oh nice |
| 2025-05-15 09:04:20 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f4555c97e44a9e822da.dip0.t-ipconnect.de) acidjnk |
| 2025-05-15 09:04:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 09:02:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-15 09:00:47 +0200 | <monochrom> | err this is more direct: https://www.cs.utoronto.ca/~trebla/CSCC24-latest/09-semantics-1.html#letrec |
| 2025-05-15 09:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-15 09:00:29 +0200 | <monochrom> | My https://www.cs.utoronto.ca/~trebla/CSCC24-latest/09-semantics-1.html#rec does that. I think you can translate it to SECD form. |