| 2025-05-15 00:06:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 00:11:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 00:11:28 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-15 00:13:04 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f1938d92047264b5ff5.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-05-15 00:13:42 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f1938d92047264b5ff5.dip0.t-ipconnect.de) acidjnk |
| 2025-05-15 00:14:32 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-15 00:15:16 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-15 00:20:19 +0200 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-05-15 00:22:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 00:26:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 00:37:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 00:42:40 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-05-15 00:42:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 00:42:53 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-15 00:44:14 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-15 00:53:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 00:54:57 +0200 | <EvanR> | huzzah the actually working this time abstract machine https://paste.tomsmeding.com/jy4QOplV tested fact(5) using basic version and tail recursive version with accumulating parameter |
| 2025-05-15 01:00:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 01:03:11 +0200 | <EvanR> | to compile a variable, load it from the environment. to compile a non-recursive let, store something in the environment. to compile a lambda, create a closure with body code and the relevant part of current environment. to compile function application, call a closure with its env prepended by arguments |
| 2025-05-15 01:04:17 +0200 | sprotte24 | (~sprotte24@p200300d16f05910054b2a9a5e51db9d5.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-05-15 01:04:21 +0200 | <EvanR> | supports a recursive let binding a lambda special case, by creating a closure with itself placed in its own environment |
| 2025-05-15 01:08:13 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-15 01:08:42 +0200 | <EvanR> | no need for mutation (in the transition table) |
| 2025-05-15 01:09:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2025-05-15 01:09:35 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-15 01:10:30 +0200 | bionade24 | (~quassel@server2.oscloud.info) (Quit: Apocalypse Incoming!) |
| 2025-05-15 01:10:41 +0200 | bionade24 | (~quassel@2a03:4000:33:45b::1) bionade24 |
| 2025-05-15 01:11:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 01:16:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 01:17:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 01:19:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-05-15 01:19:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-15 01:21:18 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f1938d92047264b5ff5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-05-15 01:22:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 01:24:13 +0200 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-05-15 01:26:32 +0200 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 01:33:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 01:38:19 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-05-15 01:38:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 01:46:57 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 01:48:31 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-15 01:48:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-15 01:49:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 01:49:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:eb45:b718:2115:4152) (Ping timeout: 272 seconds) |
| 2025-05-15 01:51:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e621:fc87:a63b:5786) |
| 2025-05-15 01:55:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-15 02:03:20 +0200 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-05-15 02:05:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 02:09:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 02:14:03 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f1924852553a74666cb.dip0.t-ipconnect.de) acidjnk |
| 2025-05-15 02:20:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 02:23:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 268 seconds) |
| 2025-05-15 02:23:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e621:fc87:a63b:5786) (Ping timeout: 248 seconds) |
| 2025-05-15 02:25:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 02:26:26 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-15 02:29:05 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f1924852553a74666cb.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-05-15 02:36:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 02:39:09 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-15 02:39:31 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Client Quit) |
| 2025-05-15 02:41:28 +0200 | Typedfern | (~Typedfern@213.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2025-05-15 02:41:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-15 02:51:25 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-15 02:52:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 02:55:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-15 02:57:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 03:00:08 +0200 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-05-15 03:03:02 +0200 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) hackager |
| 2025-05-15 03:03:02 +0200 | ChanServ | +v haskellbridge |
| 2025-05-15 03:03:48 +0200 | Typedfern | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) |
| 2025-05-15 03:08:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 03:09:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-05-15 03:13:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-15 03:23:33 +0200 | esnos | (~user@194.29.137.22) (Ping timeout: 272 seconds) |
| 2025-05-15 03:24:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 03:29:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 03:35:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 03:35:45 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-15 03:36:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 03:39:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 03:41:29 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
| 2025-05-15 03:45:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 03:53:58 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-05-15 03:57:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 03:59:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 03:59:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 04:02:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-15 04:13:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 04:17:04 +0200 | td_ | (~td@i5387091D.versanet.de) (Ping timeout: 260 seconds) |
| 2025-05-15 04:18:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-15 04:18:49 +0200 | td_ | (~td@i53870932.versanet.de) |
| 2025-05-15 04:28:09 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-15 04:28:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 04:31:48 +0200 | droideqa | (uid499291@user/droideqa) (Quit: Connection closed for inactivity) |
| 2025-05-15 04:33:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-15 04:44:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 04:46:46 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) jmorris |
| 2025-05-15 04:49:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-15 04:57:53 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-15 04:58:35 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-15 05:00:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 05:04:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 05:15:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 05:22:38 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-05-15 05:23:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 05:24:37 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-15 05:31:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 05:32:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 05:33:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 05:35:50 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce6:1d00:ecc9:c46:5d43:45e6) aforemny |
| 2025-05-15 05:36:31 +0200 | aforemny | (~aforemny@i577B138D.versanet.de) (Ping timeout: 244 seconds) |
| 2025-05-15 05:38:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 05:40:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 05:41:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 05:42:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 05:45:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-15 05:55:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 05:56:32 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 252 seconds) |
| 2025-05-15 05:56:45 +0200 | YoungFrawg | (~youngfrog@2a02:a03f:ca07:f900:a9b8:a3d6:d29f:10e6) youngfrog |
| 2025-05-15 05:57:48 +0200 | YoungFrawg | YoungFrog |
| 2025-05-15 06:00:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-15 06:06:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 06:06:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 06:09:42 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-15 06:10:06 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Ping timeout: 252 seconds) |
| 2025-05-15 06:11:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 06:14:29 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 06:15:13 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-15 06:16:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-15 06:20:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 06:20:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 06:20:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-15 06:20:40 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 06:24:18 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-15 06:25:05 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-05-15 06:25:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 06:25:29 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-05-15 06:25:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 06:25:57 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-05-15 06:27:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 06:32:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 06:38:39 +0200 | <EvanR> | serendipitous use for RWS monad, since the core transition is given as step :: Instr -> VM -> VM and not monadic, but it then can't PRINT anything... split it into R=big vector of instructions, S=VM, W=the output which is used in the PRINT case. Other instructions use modify (step instr) |
| 2025-05-15 06:41:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 06:46:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 06:51:25 +0200 | manwithluck | (~manwithlu@2a09:bac5:5084:2387::38a:39) (Ping timeout: 276 seconds) |
| 2025-05-15 06:51:53 +0200 | manwithluck | (~manwithlu@2a09:bac5:5084:2387::38a:3b) manwithluck |
| 2025-05-15 06:53:02 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-15 06:56:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 07:00:47 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2025-05-15 07:01:04 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 07:02:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 07:07:24 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-05-15 07:08:49 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 07:12:31 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-15 07:12:38 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 07:12:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 07:13:48 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 07:13:48 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-05-15 07:14:20 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-15 07:17:08 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 07:17:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-15 07:24:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 07:25:18 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2025-05-15 07:28:17 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 07:28:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 07:33:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 07:34:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 07:39:09 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 07:42:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 07:45:02 +0200 | octorez | (~octorez@194.32.120.77) |
| 2025-05-15 07:45:23 +0200 | <octorez> | Hi guys! |
| 2025-05-15 07:45:55 +0200 | <octorez> | I'm not sure what this is, I was referred here by "Learn You a Haskell for Great Good!" |
| 2025-05-15 07:46:03 +0200 | <octorez> | Is this like Discord? |
| 2025-05-15 07:46:10 +0200 | <octorez> | But anonymous? |
| 2025-05-15 07:47:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 07:49:46 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2025-05-15 07:50:38 +0200 | <mauke> | octorez: hi |
| 2025-05-15 07:51:11 +0200 | <mauke> | I'm not sure what exactly discord is, but IRC is the original internet text chat |
| 2025-05-15 07:51:46 +0200 | <mauke> | (and by original I mean it is older than the web) |
| 2025-05-15 07:52:27 +0200 | <mauke> | ah, I see you're using the web chat frontend |
| 2025-05-15 07:54:42 +0200 | <mauke> | octorez: I guess the answer is: yes, basically, but we don't have voice/video calls, images, reactions, threads, or message history :-) |
| 2025-05-15 07:55:20 +0200 | <mauke> | (except this channel does keep logs; see link in /topic) |
| 2025-05-15 07:55:44 +0200 | <haskellbridge> | <sm> but, unlike Discord this system is free and not profit motivated |
| 2025-05-15 07:56:15 +0200 | <mauke> | ... and that was someone from Matrix |
| 2025-05-15 07:56:53 +0200 | <haskellbridge> | <sm> yes, you can also access it via the more Discord-like (but free and decentralised) Matrix, a newer chat system |
| 2025-05-15 07:56:54 +0200 | octorez | (~octorez@194.32.120.77) (Quit: Client closed) |
| 2025-05-15 07:57:04 +0200 | <haskellbridge> | <sm> glad we cleared that up :) |
| 2025-05-15 07:57:19 +0200 | <mauke> | :-( |
| 2025-05-15 07:57:40 +0200 | <haskellbridge> | <sm> octorez is warming up a better client I'm sure |
| 2025-05-15 07:57:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 07:58:53 +0200 | <haskellbridge> | <hellwolf> https://sayo-hs.github.io/blog/heftia/heftia-part-1-1/ |
| 2025-05-15 07:58:53 +0200 | <haskellbridge> | I am bullish on this announcement. I like first-principle based approaches. |
| 2025-05-15 08:00:14 +0200 | <haskellbridge> | <sm> hah, if only we could invest in effects libraries |
| 2025-05-15 08:01:07 +0200 | <haskellbridge> | <hellwolf> > Today, the community seeks a definitive solution that ends the cycle of migration hell. |
| 2025-05-15 08:01:13 +0200 | <haskellbridge> | <hellwolf> famous last words! |
| 2025-05-15 08:02:01 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:02:14 +0200 | <mauke> | https://xkcd.com/927/ |
| 2025-05-15 08:04:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 08:04:33 +0200 | <haskellbridge> | <hellwolf> I know! Until one that does make a leap. I have a good feeling of heftia |
| 2025-05-15 08:05:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:05:18 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-15 08:08:02 +0200 | <haskellbridge> | <hellwolf> "Performance always has room for improvement, whereas correctness improvements are often impossible due to foundational interface compatibility. " |
| 2025-05-15 08:11:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:12:04 +0200 | <haskellbridge> | <hellwolf> "On the other hand, heftia directly implements categorical foundations described in academic papers. What I did was simply translate the types written in Agda from the papers into Haskell, confirm various isomorphisms through equational reasoning." |
| 2025-05-15 08:12:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:12:59 +0200 | <haskellbridge> | <hellwolf> https://sayo-hs.github.io/blog/heftia/heftia-part-1-3/ |
| 2025-05-15 08:13:00 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/aPfSZruSgxsHgviwfxXfMlWR/T7CzxfQNpDA (3 lines) |
| 2025-05-15 08:13:11 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-05-15 08:14:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:15:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 08:15:59 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Remote host closed the connection) |
| 2025-05-15 08:16:21 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 08:19:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:21:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-15 08:21:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:23:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-05-15 08:25:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:28:05 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-15 08:30:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:31:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 08:33:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:36:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-15 08:36:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:43:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 08:44:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:44:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 08:45:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 08:46:10 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:48:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 08:49:10 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 268 seconds) |
| 2025-05-15 08:49:39 +0200 | <monochrom> | EvanR: I know of one more way to support recursive functions. You add one more kind of closures reserved for recursive functions; its environment does not have the self-reference. You add one more case of function application for that new kind of closures, and this is where you patch the environment to add the self-reference. |
| 2025-05-15 08:51:32 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-15 08:51:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:52:32 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-15 08:54:17 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-05-15 08:58:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 08:59:38 +0200 | <monochrom> | Err technically not a self-reference. The patch is only good for one level of recursive call. But that's enough because the recursive call has to go through your function application code again where you can patch again for One More Turn. |
| 2025-05-15 09:00:03 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 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. |
| 2025-05-15 09:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 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:02:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-15 09:04:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 09:04:20 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f4555c97e44a9e822da.dip0.t-ipconnect.de) acidjnk |
| 2025-05-15 09:05:54 +0200 | <EvanR> | oh nice |
| 2025-05-15 09:06:10 +0200 | <EvanR> | will be reading this |
| 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:17:22 +0200 | euleritian | (~euleritia@37.4.249.248) |
| 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:27:09 +0200 | octorez | (~octorez@194.32.120.60) |
| 2025-05-15 09:29:51 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-15 09:29:55 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 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:33:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 09:33:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 09:41:18 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-05-15 09:42:17 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-05-15 09:47:28 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-15 09:47:45 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-15 09:57:30 +0200 | chele | (~chele@user/chele) chele |
| 2025-05-15 10:03:10 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-05-15 10:06:36 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-15 10:08:10 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 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:17:45 +0200 | octorez | (~octorez@194.32.120.60) (Quit: Client closed) |
| 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:20:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 10:24:06 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 10:36:59 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 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:39:28 +0200 | <tomsmeding> | % :k Maybe |
| 2025-05-15 10:39:29 +0200 | <yahb2> | Maybe :: * -> * |
| 2025-05-15 10:44:02 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-15 10:45:25 +0200 | <hellwolf> | no on expected the type-in-type inquisition. |
| 2025-05-15 10:46:02 +0200 | <tomsmeding> | % data Strange = Strange Type |
| 2025-05-15 10:46:02 +0200 | <yahb2> | <no output> |
| 2025-05-15 10:46:09 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f4555c97e44a9e822da.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-15 10:47:17 +0200 | <hellwolf> | Kind in a typed land |
| 2025-05-15 10:47:50 +0200 | hellwolf | throwing random references |
| 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:58:41 +0200 | Square2 | (~Square@user/square) Square |
| 2025-05-15 11:00:50 +0200 | Square | (~Square4@user/square) Square |
| 2025-05-15 11:03:19 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-15 11:03:25 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-05-15 11:08:26 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-15 11:18:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 11:18:33 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-15 11:20:49 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-15 11:23:34 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:24:59 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:26:27 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-15 11:26:31 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:27:53 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:29:21 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:30:35 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:31:21 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:32:31 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-15 11:33:52 +0200 | pierrot | (~pi@user/pierrot) (Ping timeout: 252 seconds) |
| 2025-05-15 11:33:55 +0200 | img | (~img@user/img) img |
| 2025-05-15 11:34:56 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:35:12 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:36:02 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:36:18 +0200 | pierrot | (~pi@user/pierrot) pierrot |
| 2025-05-15 11:36:18 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:37:10 +0200 | <ski> | @kind Eq |
| 2025-05-15 11:37:11 +0200 | <lambdabot> | * -> Constraint |
| 2025-05-15 11:37:29 +0200 | <ski> | @kind Functor |
| 2025-05-15 11:37:29 +0200 | <lambdabot> | (* -> *) -> Constraint |
| 2025-05-15 11:37:48 +0200 | <ski> | @kind StateT |
| 2025-05-15 11:37:49 +0200 | <lambdabot> | * -> (* -> *) -> * -> * |
| 2025-05-15 11:38:17 +0200 | <ski> | yin ^ |
| 2025-05-15 11:42:38 +0200 | nullobject | (~josh@user/nullobject) (Quit: WeeChat 4.1.1) |
| 2025-05-15 11:42:53 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:46:41 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:47:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-15 11:47:59 +0200 | euleritian | (~euleritia@37.4.249.248) (Ping timeout: 260 seconds) |
| 2025-05-15 11:48:09 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 11:48:55 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 11:49:55 +0200 | rncwnd_ | (~quassel@2a01:4f8:221:27c6::1) (Remote host closed the connection) |
| 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:58:52 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 276 seconds) |
| 2025-05-15 12:07:42 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 12:14:53 +0200 | nullobject | (~josh@user/nullobject) (WeeChat 4.1.1) |
| 2025-05-15 12:16:44 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-15 12:20:15 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2025-05-15 12:21:03 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 12:24:49 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 12:30:29 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 12:31:55 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 260 seconds) |
| 2025-05-15 12:32:12 +0200 | koz | (~koz@121.99.240.58) |
| 2025-05-15 12:43:17 +0200 | <yin> | what is this, a type system for ants? |
| 2025-05-15 12:43:36 +0200 | <yin> | it has got to be at least 4 times bigger |
| 2025-05-15 12:55:22 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-05-15 13:00:04 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-15 13:01:56 +0200 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 13:02:15 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-15 13:02:24 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds) |
| 2025-05-15 13:04:35 +0200 | feetwind | (~mike@user/feetwind) (Ping timeout: 260 seconds) |
| 2025-05-15 13:16:40 +0200 | feetwind | (~mike@user/feetwind) feetwind |
| 2025-05-15 13:20:52 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7ed8:b8a6:621a:b979) |
| 2025-05-15 13:22:08 +0200 | <tomsmeding> | % :set -XNoStarIsType |
| 2025-05-15 13:22:08 +0200 | <yahb2> | <no output> |
| 2025-05-15 13:22:11 +0200 | <tomsmeding> | % :k Maybe |
| 2025-05-15 13:22:11 +0200 | <yahb2> | Maybe :: Type -> Type |
| 2025-05-15 13:22:15 +0200 | <tomsmeding> | yin: that big enough for you? |
| 2025-05-15 13:22:25 +0200 | <tomsmeding> | % length "Type" `div` length "*" |
| 2025-05-15 13:22:25 +0200 | <yahb2> | 4 |
| 2025-05-15 13:33:37 +0200 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-05-15 13:36:53 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 248 seconds) |
| 2025-05-15 13:44:41 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 13:45:48 +0200 | nullobject | (~josh@user/nullobject) (Ping timeout: 244 seconds) |
| 2025-05-15 13:47:27 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 13:48:04 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-15 13:49:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 13:50:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 13:52:39 +0200 | <yin> | tomsmeding: :) |
| 2025-05-15 13:53:04 +0200 | <yin> | what's the best resource for getting started with Idris? |
| 2025-05-15 14:05:16 +0200 | <merijn> | yin: The tutorial? :p |
| 2025-05-15 14:05:59 +0200 | <merijn> | yin: The tutorial and most introductory Idris stuff is focussed on people coming from Haskell/ML and explaining the differences from there |
| 2025-05-15 14:09:06 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-05-15 14:09:28 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-05-15 14:19:29 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-15 14:21:46 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 14:28:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-05-15 14:48:27 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-05-15 14:49:13 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-15 14:49:45 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-15 14:55:47 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-15 14:57:16 +0200 | Guest63 | (~Guest63@2405:201:400a:1019:b980:9589:3aa4:3a5e) |
| 2025-05-15 14:59:15 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-15 14:59:33 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-15 14:59:51 +0200 | euleritian | (~euleritia@ip2504f9f8.dynamic.kabel-deutschland.de) |
| 2025-05-15 15:00:24 +0200 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 245 seconds) |
| 2025-05-15 15:01:45 +0200 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-05-15 15:05:25 +0200 | Guest63 | (~Guest63@2405:201:400a:1019:b980:9589:3aa4:3a5e) (Quit: Client closed) |
| 2025-05-15 15:10:45 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |