| 2024-07-13 00:00:18 +0200 | <tomsmeding> | there were many AST nodes, but the family of types that they could represent was nicely describable |
| 2024-07-13 00:00:30 +0200 | <tomsmeding> | (the AST was well-typed with well-typed well-scoped De Bruijn indices) |
| 2024-07-13 00:03:24 +0200 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2024-07-13 00:03:25 +0200 | <tomsmeding> | EvanR: and the point is that "a map from every AST node to some metadata" is certainly not a record |
| 2024-07-13 00:04:21 +0200 | <EvanR> | no because the keys aren't fields |
| 2024-07-13 00:04:48 +0200 | turlando | (~turlando@user/turlando) |
| 2024-07-13 00:05:38 +0200 | <tomsmeding> | (it's bed time over here, see y'al) |
| 2024-07-13 00:07:00 +0200 | raym | (~ray@user/raym) (Ping timeout: 256 seconds) |
| 2024-07-13 00:08:49 +0200 | raym | (~ray@user/raym) |
| 2024-07-13 00:17:54 +0200 | <ph88> | good night ! |
| 2024-07-13 00:20:37 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-07-13 00:20:40 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:d825:8718:98d7:1cb9) (Remote host closed the connection) |
| 2024-07-13 00:21:22 +0200 | alexherbo2 | (~alexherbo@2a02-8440-311a-ab9d-bd9d-bb5a-6bfa-4981.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-13 00:24:50 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-13 00:25:31 +0200 | CiaoSen | (~Jura@2a05:5800:2b4:7a00:e6b9:7aff:fe80:3d03) |
| 2024-07-13 00:25:59 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2024-07-13 00:38:14 +0200 | destituion | (~destituio@ti0185q160-0175.bb.online.no) (Ping timeout: 252 seconds) |
| 2024-07-13 00:43:50 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb326c97883dc2703faf.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-07-13 00:47:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-13 00:51:08 +0200 | destituion | (~destituio@2a02:2121:6bd:3eb7:9c85:17:84a5:7a89) |
| 2024-07-13 01:12:49 +0200 | tabemann__ | tabemann |
| 2024-07-13 01:18:35 +0200 | christiaanb | (uid84827@id-84827.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-13 01:25:13 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-13 01:36:37 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-07-13 01:39:25 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb326c97883dc2703faf.dip0.t-ipconnect.de) |
| 2024-07-13 01:42:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-07-13 01:43:15 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-07-13 01:46:15 +0200 | tcard | (~tcard@p5361199-ipxg23901hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 256 seconds) |
| 2024-07-13 01:51:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-13 01:52:10 +0200 | CiaoSen | (~Jura@2a05:5800:2b4:7a00:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 2024-07-13 01:54:48 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-13 01:57:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-07-13 01:57:50 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-13 01:59:30 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-13 02:00:29 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-13 02:02:51 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-13 02:15:45 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-07-13 02:23:04 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb326c97883dc2703faf.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-07-13 02:45:16 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:bdf5:2044:ddb4:b631) (Remote host closed the connection) |
| 2024-07-13 02:45:28 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:12ef:2120:f770:f8cc) |
| 2024-07-13 02:48:23 +0200 | comonad | (~comonad@p200300d0273ec200f169249ffaccfbba.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.2) |
| 2024-07-13 02:59:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-13 03:15:51 +0200 | aforemny | (~aforemny@2001:9e8:6cc2:ae00:33a4:4554:ad29:ebb5) |
| 2024-07-13 03:16:29 +0200 | aforemny_ | (~aforemny@2001:9e8:6ceb:9800:f0b2:9010:cc:b689) (Ping timeout: 240 seconds) |
| 2024-07-13 03:20:40 +0200 | causal | (~eric@50.35.88.207) |
| 2024-07-13 03:30:23 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2024-07-13 03:33:16 +0200 | euleritian | (~euleritia@dynamic-176-003-089-142.176.3.pool.telefonica.de) (Remote host closed the connection) |
| 2024-07-13 03:33:31 +0200 | euleritian | (~euleritia@dynamic-176-003-089-142.176.3.pool.telefonica.de) |
| 2024-07-13 03:50:35 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-07-13 03:59:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2024-07-13 04:03:11 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-13 04:04:31 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-07-13 04:09:32 +0200 | dyniec | (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
| 2024-07-13 04:12:44 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-07-13 04:13:03 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-07-13 04:28:31 +0200 | td_ | (~td@i53870910.versanet.de) (Ping timeout: 260 seconds) |
| 2024-07-13 04:30:11 +0200 | td_ | (~td@i5387091C.versanet.de) |
| 2024-07-13 04:33:24 +0200 | benjaminl_ | (~benjaminl@c-76-144-12-233.hsd1.or.comcast.net) |
| 2024-07-13 04:34:39 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 268 seconds) |
| 2024-07-13 04:38:59 +0200 | comonad | (~comonad@p200300d0273ec200f169249ffaccfbba.dip0.t-ipconnect.de) |
| 2024-07-13 04:43:52 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-13 04:46:46 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-07-13 05:13:34 +0200 | puke | (~puke@user/puke) |
| 2024-07-13 05:21:18 +0200 | phma | (~phma@host-67-44-208-89.hnremote.net) (Read error: Connection reset by peer) |
| 2024-07-13 05:22:21 +0200 | phma | (phma@2001:5b0:210b:d718:d66b:9fbd:325d:b421) |
| 2024-07-13 05:22:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-13 05:43:21 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-07-13 05:47:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (*.net *.split) |
| 2024-07-13 05:47:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (*.net *.split) |
| 2024-07-13 05:47:25 +0200 | califax | (~califax@user/califx) (*.net *.split) |
| 2024-07-13 05:47:25 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (*.net *.split) |
| 2024-07-13 05:47:25 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (*.net *.split) |
| 2024-07-13 05:47:25 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (*.net *.split) |
| 2024-07-13 05:47:25 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (*.net *.split) |
| 2024-07-13 05:50:56 +0200 | califax | (~califax@user/califx) |
| 2024-07-13 05:51:06 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-07-13 05:51:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-13 05:52:55 +0200 | aforemny_ | (~aforemny@i59F516CE.versanet.de) |
| 2024-07-13 05:53:12 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-07-13 05:53:16 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-07-13 05:53:20 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-07-13 05:54:12 +0200 | aforemny | (~aforemny@2001:9e8:6cc2:ae00:33a4:4554:ad29:ebb5) (Ping timeout: 268 seconds) |
| 2024-07-13 05:54:54 +0200 | monochrom | (trebla@216.138.220.146) |
| 2024-07-13 05:55:19 +0200 | yin | (~yin@user/zero) (Ping timeout: 272 seconds) |
| 2024-07-13 06:11:52 +0200 | billchenchina- | (~billchenc@103.118.42.229) |
| 2024-07-13 06:13:19 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-07-13 06:32:26 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-07-13 06:37:48 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-07-13 06:38:12 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2024-07-13 06:39:36 +0200 | gawen | (~gawen@user/gawen) |
| 2024-07-13 06:44:47 +0200 | billchenchina- | (~billchenc@103.118.42.229) (Ping timeout: 260 seconds) |
| 2024-07-13 06:55:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-07-13 07:10:45 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-13 07:23:15 +0200 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2024-07-13 07:23:29 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-13 07:32:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-13 07:37:53 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) (Server closed connection) |
| 2024-07-13 07:38:15 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2024-07-13 07:41:48 +0200 | Axman6 | (~Axman6@user/axman6) (Server closed connection) |
| 2024-07-13 07:50:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-13 07:53:47 +0200 | xdminsy | (~xdminsy@117.147.70.227) |
| 2024-07-13 07:57:59 +0200 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2024-07-13 07:58:13 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-13 08:14:09 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-07-13 08:17:06 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-07-13 08:46:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-13 08:55:46 +0200 | Rodney- | (~Rodney@97e7368c.skybroadband.com) |
| 2024-07-13 08:55:56 +0200 | Rodney- | (~Rodney@97e7368c.skybroadband.com) (Excess Flood) |
| 2024-07-13 08:56:25 +0200 | vizimajac | (~Rodney@97e7368c.skybroadband.com) |
| 2024-07-13 08:57:45 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-13 09:11:18 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb2415952ab083ca28a4.dip0.t-ipconnect.de) |
| 2024-07-13 09:11:36 +0200 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2024-07-13 09:11:58 +0200 | puke | (~puke@user/puke) |
| 2024-07-13 09:24:50 +0200 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (Server closed connection) |
| 2024-07-13 09:25:04 +0200 | chymera | (~chymera@ns1000526.ip-51-81-46.us) |
| 2024-07-13 09:35:41 +0200 | stilgart | (~Christoph@chezlefab.net) (Server closed connection) |
| 2024-07-13 09:35:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-07-13 09:35:49 +0200 | stilgart | (~Christoph@chezlefab.net) |
| 2024-07-13 09:43:28 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-07-13 09:44:01 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-07-13 09:44:50 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 268 seconds) |
| 2024-07-13 09:49:56 +0200 | pyooque | (~puke@user/puke) |
| 2024-07-13 09:49:56 +0200 | puke | Guest4279 |
| 2024-07-13 09:49:56 +0200 | pyooque | puke |
| 2024-07-13 09:52:28 +0200 | Guest4279 | (~puke@user/puke) (Ping timeout: 245 seconds) |
| 2024-07-13 09:54:06 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-13 09:55:48 +0200 | billchenchina- | (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) |
| 2024-07-13 09:56:41 +0200 | billchenchina- | (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) (Max SendQ exceeded) |
| 2024-07-13 09:57:26 +0200 | billchenchina- | (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) |
| 2024-07-13 09:57:33 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-07-13 09:59:46 +0200 | billchenchina- | (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) (Read error: Connection reset by peer) |
| 2024-07-13 10:00:20 +0200 | billchenchina- | (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) |
| 2024-07-13 10:00:24 +0200 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (Server closed connection) |
| 2024-07-13 10:00:51 +0200 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) |
| 2024-07-13 10:03:35 +0200 | institor | (~henricus@user/institor) (Server closed connection) |
| 2024-07-13 10:03:54 +0200 | institor | (~henricus@user/institor) |
| 2024-07-13 10:12:27 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 246 seconds) |
| 2024-07-13 10:17:36 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-13 10:19:12 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-13 10:19:32 +0200 | billchenchina- | (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) (Ping timeout: 258 seconds) |
| 2024-07-13 10:24:38 +0200 | billchenchina- | (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) |
| 2024-07-13 10:25:10 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-07-13 10:26:54 +0200 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2024-07-13 10:27:14 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3300-e679-b9d7-bbf3-5b0b-f919.rev.sfr.net) |
| 2024-07-13 10:29:21 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-07-13 10:31:00 +0200 | billchenchina- | (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) (Ping timeout: 246 seconds) |
| 2024-07-13 10:32:19 +0200 | Square2 | (~Square@user/square) |
| 2024-07-13 10:32:55 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-13 10:34:03 +0200 | billchenchina- | (~billchenc@139.215.45.148) |
| 2024-07-13 10:34:35 +0200 | andreas808 | (andreas303@is.drunk.and.ready-to.party) (Server closed connection) |
| 2024-07-13 10:34:49 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) |
| 2024-07-13 10:34:57 +0200 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2024-07-13 10:35:12 +0200 | ash3en | (~ash3en@2a01:c22:9183:5200:c03d:8904:4cd7:fab0) |
| 2024-07-13 10:37:52 +0200 | ash3en | (~ash3en@2a01:c22:9183:5200:c03d:8904:4cd7:fab0) (Remote host closed the connection) |
| 2024-07-13 10:39:03 +0200 | billchenchina- | (~billchenc@139.215.45.148) (Ping timeout: 246 seconds) |
| 2024-07-13 10:39:30 +0200 | billchenchina- | (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) |
| 2024-07-13 10:42:20 +0200 | davl | (~davl@207.154.228.18) (Server closed connection) |
| 2024-07-13 10:42:40 +0200 | davl | (~davl@207.154.228.18) |
| 2024-07-13 10:46:59 +0200 | acro | (~acro@user/acro) (Server closed connection) |
| 2024-07-13 10:47:47 +0200 | acro | (~acro@user/acro) |
| 2024-07-13 10:51:18 +0200 | billchenchina- | (~billchenc@2408:8435:611:9a87:e2ab:7e99:e363:8b19) (Ping timeout: 246 seconds) |
| 2024-07-13 10:56:18 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-07-13 11:10:05 +0200 | ubert | (~Thunderbi@p200300ecdf24f17cdfae8dfb94d1c609.dip0.t-ipconnect.de) (Quit: ubert) |
| 2024-07-13 11:11:47 +0200 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Server closed connection) |
| 2024-07-13 11:12:16 +0200 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) |
| 2024-07-13 11:21:18 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-13 11:24:10 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-13 11:25:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-13 11:34:33 +0200 | ash3en | (~ash3en@2a01:c22:9183:5200:c03d:8904:4cd7:fab0) |
| 2024-07-13 11:38:14 +0200 | tremon | (~tremon@83.80.159.219) |
| 2024-07-13 11:39:41 +0200 | tomjaguarpaw | (~tom@172-104-25-182.ip.linodeusercontent.com) (Server closed connection) |
| 2024-07-13 11:39:54 +0200 | tomjaguarpaw | (~tom@172-104-25-182.ip.linodeusercontent.com) |
| 2024-07-13 11:44:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-13 11:49:54 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-13 12:01:53 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 258 seconds) |
| 2024-07-13 12:02:21 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-07-13 12:13:37 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzzz) |
| 2024-07-13 12:28:40 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-13 12:33:45 +0200 | misterfish | (~misterfis@84.53.85.146) (Remote host closed the connection) |
| 2024-07-13 12:37:22 +0200 | <ash3en> | sooo, is graphql more haskelluesqe than REST since using types in a different -- more prominent? -- way? |
| 2024-07-13 12:38:09 +0200 | yin | (~yin@user/zero) |
| 2024-07-13 12:39:19 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-13 12:43:14 +0200 | Clint | (~Clint@user/clint) (Server closed connection) |
| 2024-07-13 12:43:22 +0200 | Clint | (~Clint@user/clint) |
| 2024-07-13 12:54:43 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-07-13 12:55:55 +0200 | vizimajac | (~Rodney@97e7368c.skybroadband.com) (Ping timeout: 264 seconds) |
| 2024-07-13 13:00:56 +0200 | cpressey | (~weechat@176.254.71.203) (Quit: WeeChat 4.3.0) |
| 2024-07-13 13:01:12 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-13 13:09:38 +0200 | cpressey | (~weechat@176.254.71.203) (Quit: WeeChat 4.3.0) |
| 2024-07-13 13:09:53 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-13 13:21:37 +0200 | yin | (~yin@user/zero) (Ping timeout: 258 seconds) |
| 2024-07-13 13:22:56 +0200 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) |
| 2024-07-13 13:23:11 +0200 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) (Leaving) |
| 2024-07-13 13:33:21 +0200 | Square2 | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-07-13 13:34:45 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3300-e679-b9d7-bbf3-5b0b-f919.rev.sfr.net) (Ping timeout: 256 seconds) |
| 2024-07-13 14:04:33 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 245 seconds) |
| 2024-07-13 14:06:30 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-13 14:15:48 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-07-13 14:16:40 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-07-13 14:18:01 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 268 seconds) |
| 2024-07-13 14:27:28 +0200 | dyniec | (~dyniec@dybiec.info) |
| 2024-07-13 14:28:35 +0200 | ash3en | (~ash3en@2a01:c22:9183:5200:c03d:8904:4cd7:fab0) (Ping timeout: 256 seconds) |
| 2024-07-13 14:31:03 +0200 | yin | (~yin@user/zero) |
| 2024-07-13 14:33:17 +0200 | Patternmaster | (~georg@user/Patternmaster) (Server closed connection) |
| 2024-07-13 14:33:17 +0200 | Reinhilde | (ellenor@invictus.wa.us.umbrellix.net) (Server closed connection) |
| 2024-07-13 14:33:31 +0200 | Patternmaster | (~georg@user/Patternmaster) |
| 2024-07-13 14:33:55 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-13 14:35:34 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-13 14:35:43 +0200 | Ellenor | (ellenor@invictus.wa.us.umbrellix.net) |
| 2024-07-13 14:41:38 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 245 seconds) |
| 2024-07-13 14:43:54 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-13 14:44:25 +0200 | hiecaq | (~hiecaq@user/hiecaq) |
| 2024-07-13 14:45:07 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-07-13 14:45:58 +0200 | czy | (~user@2a00:23c6:54a8:6301:c02b:f174:f8c7:e7c) |
| 2024-07-13 14:52:06 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 246 seconds) |
| 2024-07-13 14:54:12 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-13 15:00:30 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 246 seconds) |
| 2024-07-13 15:01:54 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2024-07-13 15:10:23 +0200 | Philonous | (~Philonous@user/philonous) (Server closed connection) |
| 2024-07-13 15:10:43 +0200 | Philonous | (~Philonous@user/philonous) |
| 2024-07-13 15:11:57 +0200 | auri | (~auri@fsf/member/auri) (Server closed connection) |
| 2024-07-13 15:12:05 +0200 | auri | (~auri@fsf/member/auri) |
| 2024-07-13 15:12:24 +0200 | czy | (~user@2a00:23c6:54a8:6301:c02b:f174:f8c7:e7c) (Ping timeout: 258 seconds) |
| 2024-07-13 15:13:35 +0200 | RMSBach | (~guygastin@137.184.131.156) (Server closed connection) |
| 2024-07-13 15:14:26 +0200 | RMSBach | (~guygastin@137.184.131.156) |
| 2024-07-13 15:15:11 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-13 15:19:45 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 246 seconds) |
| 2024-07-13 15:32:43 +0200 | Fijxu | (~Fijxu@user/fijxu) (Read error: Connection reset by peer) |
| 2024-07-13 15:33:42 +0200 | Fijxu_ | (~Fijxu@user/fijxu) |
| 2024-07-13 15:35:16 +0200 | CiaoSen | (~Jura@2a05:5800:2b4:3e00:e6b9:7aff:fe80:3d03) |
| 2024-07-13 15:35:59 +0200 | euleritian | (~euleritia@dynamic-176-003-089-142.176.3.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-07-13 15:36:14 +0200 | euleritian | (~euleritia@dynamic-176-003-087-157.176.3.pool.telefonica.de) |
| 2024-07-13 15:38:05 +0200 | yin | (~yin@user/zero) |
| 2024-07-13 15:38:23 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Server closed connection) |
| 2024-07-13 15:38:32 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2024-07-13 15:39:23 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-13 15:39:40 +0200 | img | (~img@user/img) |
| 2024-07-13 15:41:29 +0200 | eugenrh | (~eugenrh@user/eugenrh) (Server closed connection) |
| 2024-07-13 15:41:31 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-07-13 15:41:46 +0200 | eugenrh | (~eugenrh@user/eugenrh) |
| 2024-07-13 15:46:42 +0200 | yin | (~yin@user/zero) (Ping timeout: 246 seconds) |
| 2024-07-13 15:52:40 +0200 | yin | (~yin@user/zero) |
| 2024-07-13 15:53:53 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Server closed connection) |
| 2024-07-13 15:55:44 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2024-07-13 15:57:37 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-13 16:01:38 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) (Server closed connection) |
| 2024-07-13 16:01:53 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) |
| 2024-07-13 16:06:44 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-13 16:07:50 +0200 | urdh | (~urdh@user/urdh) (Server closed connection) |
| 2024-07-13 16:08:44 +0200 | urdh | (~urdh@user/urdh) |
| 2024-07-13 16:09:15 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-13 16:10:59 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2024-07-13 16:13:26 +0200 | dev2 | (~dev@2405:201:c062:801d:f5e4:4034:e874:e3c) |
| 2024-07-13 16:34:51 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-07-13 16:40:39 +0200 | <mauke> | does REST even mean anything anymore? |
| 2024-07-13 16:43:46 +0200 | ash3en | (~ash3en@2a01:c23:9461:f701:9ec8:8856:9bf9:672) |
| 2024-07-13 16:44:34 +0200 | <ash3en> | mauke, I honestly don't know lol |
| 2024-07-13 16:50:15 +0200 | ash3en | (~ash3en@2a01:c23:9461:f701:9ec8:8856:9bf9:672) (Ping timeout: 256 seconds) |
| 2024-07-13 16:52:46 +0200 | ash3en | (~ash3en@2a01:c23:8dbe:7b00:c358:807f:b77e:de14) |
| 2024-07-13 16:54:11 +0200 | <EvanR> | GET PUT DELETE POST |
| 2024-07-13 16:54:40 +0200 | <EvanR> | in order to set up a websocket and do json |
| 2024-07-13 16:54:40 +0200 | <kaol> | REST is better if you don't touch POST. |
| 2024-07-13 16:57:22 +0200 | puke | Guest7169 |
| 2024-07-13 16:57:23 +0200 | puke | (~puke@user/puke) |
| 2024-07-13 16:59:09 +0200 | mikess | (~mikess@user/mikess) |
| 2024-07-13 17:00:48 +0200 | Guest7169 | (~puke@user/puke) (Ping timeout: 245 seconds) |
| 2024-07-13 17:04:18 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-07-13 17:06:38 +0200 | carbolymer | (~carbolyme@dropacid.net) (Server closed connection) |
| 2024-07-13 17:06:41 +0200 | ash3en | (~ash3en@2a01:c23:8dbe:7b00:c358:807f:b77e:de14) (Ping timeout: 256 seconds) |
| 2024-07-13 17:06:49 +0200 | carbolymer | (~carbolyme@dropacid.net) |
| 2024-07-13 17:17:09 +0200 | ash3en | (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) |
| 2024-07-13 17:19:02 +0200 | apache2 | (apache2@anubis.0x90.dk) (Server closed connection) |
| 2024-07-13 17:19:11 +0200 | apache2 | (apache2@anubis.0x90.dk) |
| 2024-07-13 17:20:26 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 258 seconds) |
| 2024-07-13 17:20:41 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Server closed connection) |
| 2024-07-13 17:20:51 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
| 2024-07-13 17:20:59 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2024-07-13 17:21:20 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-07-13 17:29:12 +0200 | sajith_ | (~sajith@user/sajith) |
| 2024-07-13 17:30:02 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-13 17:30:12 +0200 | sajith | (~sajith@user/sajith) (Read error: Connection reset by peer) |
| 2024-07-13 17:33:53 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-07-13 17:38:13 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
| 2024-07-13 17:39:17 +0200 | dhil | (~dhil@2001:8e0:2014:3100:5f19:d67d:f6ff:e34c) |
| 2024-07-13 17:41:44 +0200 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2024-07-13 17:52:32 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-13 17:59:05 +0200 | xdminsy | (~xdminsy@117.147.70.227) (Quit: Konversation terminated!) |
| 2024-07-13 18:08:44 +0200 | s4msung | (ZJiIIOLagZ@user/s4msung) (Server closed connection) |
| 2024-07-13 18:09:07 +0200 | s4msung | (IALEQ8po1z@user/s4msung) |
| 2024-07-13 18:10:17 +0200 | yushyin | (9eZLiShRic@mail.karif.server-speed.net) (Server closed connection) |
| 2024-07-13 18:10:33 +0200 | sprout | (~quassel@2a02-a448-3a80-0-b42c-a95b-6a4b-b4d1.fixed6.kpn.net) (Ping timeout: 256 seconds) |
| 2024-07-13 18:10:37 +0200 | yushyin | (h88XgTom95@mail.karif.server-speed.net) |
| 2024-07-13 18:14:56 +0200 | coldtom | (~coldtom@coldrick.cc) (Server closed connection) |
| 2024-07-13 18:15:07 +0200 | coldtom | (~coldtom@coldrick.cc) |
| 2024-07-13 18:18:50 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-07-13 18:30:09 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-07-13 18:30:43 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-07-13 18:35:22 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-07-13 18:39:11 +0200 | female_student_5 | (~female_st@host-80-42-135-218.as13285.net) |
| 2024-07-13 18:40:26 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-07-13 18:41:27 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:96a5:2771:1a5b:3cc9) |
| 2024-07-13 18:41:41 +0200 | <female_student_5> | Hi, I created some code, but I'm struggling to test it with the inputs? |
| 2024-07-13 18:41:42 +0200 | <female_student_5> | https://pastebin.com/2x7yndQG |
| 2024-07-13 18:42:50 +0200 | <female_student_5> | ghci> rename "b" "z" |
| 2024-07-13 18:42:50 +0200 | <female_student_5> | <interactive>:6:1: error: |
| 2024-07-13 18:42:51 +0200 | <female_student_5> | Variable not in scope: rename :: String -> String -> t |
| 2024-07-13 18:43:04 +0200 | <female_student_5> | This is the input provided: *Main> rename "b" "z" example |
| 2024-07-13 18:43:13 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-13 18:43:54 +0200 | <lyxia> | female_student_5: you need to load the file in ghci |
| 2024-07-13 18:43:59 +0200 | <female_student_5> | I have done so |
| 2024-07-13 18:44:06 +0200 | <int-e> | if this is a standalone file foo.hs using just base, use :load foo.hs or ghci foo.hs. if it's a cabal project, use `cabal repl` |
| 2024-07-13 18:44:19 +0200 | <lyxia> | female_student_5: your pastebin link is broken |
| 2024-07-13 18:44:21 +0200 | <female_student_5> | I've already loaded the file... |
| 2024-07-13 18:44:37 +0200 | <int-e> | does your module export `rename`? |
| 2024-07-13 18:44:44 +0200 | <int-e> | though hmm |
| 2024-07-13 18:44:52 +0200 | <female_student_5> | let me repaste my pastebin link |
| 2024-07-13 18:44:53 +0200 | <int-e> | hard to say what's wrong without the code. |
| 2024-07-13 18:46:07 +0200 | <female_student_5> | https://pastebin.com/qsgPsQmc#google_vignette |
| 2024-07-13 18:46:09 +0200 | <female_student_5> | there |
| 2024-07-13 18:46:10 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-07-13 18:46:15 +0200 | <female_student_5> | https://pastebin.com/qsgPsQmc |
| 2024-07-13 18:46:18 +0200 | <female_student_5> | sorry |
| 2024-07-13 18:46:22 +0200 | <female_student_5> | int-e |
| 2024-07-13 18:46:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-13 18:46:29 +0200 | <female_student_5> | lyxia |
| 2024-07-13 18:46:50 +0200 | <female_student_5> | This input doesn't work: *Main> rename "b" "z" example |
| 2024-07-13 18:47:15 +0200 | <int-e> | that is not self-contained so won't compile like that |
| 2024-07-13 18:47:27 +0200 | <female_student_5> | I put rename "b" "z" |
| 2024-07-13 18:47:29 +0200 | <int-e> | and if it doesn't compile, ghci won't actually load it |
| 2024-07-13 18:47:44 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 2024-07-13 18:47:58 +0200 | <female_student_5> | and It returned "variable not in scope" |
| 2024-07-13 18:48:31 +0200 | <int-e> | it never loaded the file... presumably you got a bunch of errors instead |
| 2024-07-13 18:48:37 +0200 | <int-e> | I think |
| 2024-07-13 18:48:44 +0200 | <int-e> | that, or your paste is incomplete |
| 2024-07-13 18:48:45 +0200 | <female_student_5> | no, the file loaded ... |
| 2024-07-13 18:49:20 +0200 | <female_student_5> | This was an error though: parse error (possibly incorrect indentation or mismatched brackets) |
| 2024-07-13 18:49:20 +0200 | <female_student_5> | | |
| 2024-07-13 18:49:21 +0200 | <female_student_5> | 77 | substitute x y (Lambda z n) |
| 2024-07-13 18:50:06 +0200 | <kaol> | If you get one error in a file nothing in it is loaded into ghci. |
| 2024-07-13 18:50:23 +0200 | <female_student_5> | great thanks |
| 2024-07-13 18:50:26 +0200 | <female_student_5> | let me retry loading |
| 2024-07-13 18:50:50 +0200 | <int-e> | you'll have to define the data types in your file (or import a module that defines them) |
| 2024-07-13 18:51:04 +0200 | <int-e> | whatever you defined in ghci will not be visible to the module you're loading |
| 2024-07-13 18:53:17 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-07-13 18:54:26 +0200 | <ash3en> | is line 7 indented correctly? |
| 2024-07-13 18:58:01 +0200 | <int-e> | No it's mixing tabs and spaces. |
| 2024-07-13 18:58:59 +0200 | <int-e> | (and doing the thing where tabs are 4 spaces instead of the 8 that Haskell assumes) |
| 2024-07-13 19:00:23 +0200 | <int-e> | Though I guess it doesn't matter for guards. Eww. |
| 2024-07-13 19:00:54 +0200 | <int-e> | (I had to test that.) |
| 2024-07-13 19:01:24 +0200 | <female_student_5> | that's not the issue |
| 2024-07-13 19:01:30 +0200 | <int-e> | lines 16-17 should be a syntax error though |
| 2024-07-13 19:01:34 +0200 | <female_student_5> | the issue is apparently with how nPrime = |
| 2024-07-13 19:01:46 +0200 | <int-e> | because of the messed up indentation |
| 2024-07-13 19:02:17 +0200 | <int-e> | (the usual advice is not to use tabs at all) |
| 2024-07-13 19:02:27 +0200 | <female_student_5> | What would it look like? |
| 2024-07-13 19:03:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-13 19:03:51 +0200 | <int-e> | female_student_5: look at your pastebin link |
| 2024-07-13 19:04:03 +0200 | <int-e> | you probably won't see it in your editor |
| 2024-07-13 19:04:09 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:4bef:b164:d45c:ef65) |
| 2024-07-13 19:04:50 +0200 | <int-e> | but the editor should have a setting somewhere to disable tabs. or to set the tab width to 8. |
| 2024-07-13 19:05:14 +0200 | <ph88> | could anyone tell me how to build dhall for the javascript backend? preferably to get a single JS file out that can be accessed as a library to other JS code. https://github.com/dhall-lang/dhall-haskell |
| 2024-07-13 19:06:18 +0200 | <female_student_5> | I've changed the code a bit and I'm still getting the same error |
| 2024-07-13 19:07:31 +0200 | <ash3en> | yeah 17 looks odd |
| 2024-07-13 19:07:44 +0200 | <int-e> | Have you looked at your own pastebin link? It's very visible there that the indentation is messed up. |
| 2024-07-13 19:08:23 +0200 | <int-e> | (well, for me... it's conceivable that pastebin.com has a setting for that too that will mess it up) |
| 2024-07-13 19:09:05 +0200 | Hafydd | (~Hafydd@user/hafydd) (Server closed connection) |
| 2024-07-13 19:09:25 +0200 | Hafydd | (~Hafydd@user/hafydd) |
| 2024-07-13 19:11:17 +0200 | <female_student_5> | To be honest, rename isn't calling the substitute function |
| 2024-07-13 19:11:21 +0200 | <female_student_5> | so not sure why this is an issue |
| 2024-07-13 19:13:07 +0200 | <female_student_5> | I've now removed the substitute function and still nothing is outputted |
| 2024-07-13 19:17:02 +0200 | <int-e> | presumably you're still getting an error when loading the file then |
| 2024-07-13 19:17:37 +0200 | <int-e> | For example, you might get "Variable not in scope: (!=) :: Var -> Bool -> Bool" |
| 2024-07-13 19:18:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-13 19:19:39 +0200 | dhil | (~dhil@2001:8e0:2014:3100:5f19:d67d:f6ff:e34c) (Ping timeout: 258 seconds) |
| 2024-07-13 19:20:19 +0200 | <female_student_5> | int-e, no i dont |
| 2024-07-13 19:22:56 +0200 | <int-e> | I said "might". It *is* an error in your code as pasted. |
| 2024-07-13 19:23:14 +0200 | <female_student_5> | I removed the substitute function now |
| 2024-07-13 19:23:22 +0200 | <female_student_5> | because I am asking about testing rename only |
| 2024-07-13 19:24:15 +0200 | <int-e> | Well I don't know what your status is, really. |
| 2024-07-13 19:24:41 +0200 | ncf | (~n@monade.li) (Server closed connection) |
| 2024-07-13 19:25:00 +0200 | ncf | (~n@monade.li) |
| 2024-07-13 19:25:11 +0200 | <int-e> | You've edited the file so the paste is out of date. You're saying that it doesn't work but you're not saying what the exact error is, and whether it happens when you load the file or when you try to invoke the `rename` function. |
| 2024-07-13 19:26:08 +0200 | <female_student_5> | Here is the paste: https://pastebin.com/Gwn3hQ5a |
| 2024-07-13 19:26:19 +0200 | <female_student_5> | This is the input I am trying to test: *Main> rename "b" "z" example |
| 2024-07-13 19:26:19 +0200 | <female_student_5> | \a. \x. (\y. a) x z |
| 2024-07-13 19:26:27 +0200 | <female_student_5> | So I am trying to test rename "b" "z" |
| 2024-07-13 19:27:46 +0200 | <int-e> | ...so you got an output? |
| 2024-07-13 19:27:49 +0200 | <female_student_5> | no |
| 2024-07-13 19:27:54 +0200 | <female_student_5> | Because I dont know how to do it |
| 2024-07-13 19:28:00 +0200 | <int-e> | then what's the \a. \x. (\y. a) x z line there? |
| 2024-07-13 19:28:33 +0200 | <female_student_5> | AAAAH |
| 2024-07-13 19:28:33 +0200 | <female_student_5> | OK |
| 2024-07-13 19:28:35 +0200 | <female_student_5> | it works now |
| 2024-07-13 19:28:43 +0200 | <female_student_5> | ghci> rename "b" "z" example |
| 2024-07-13 19:28:44 +0200 | <female_student_5> | Lambda "a" (Lambda "x" (Apply (Apply (Lambda "y" (Variable "a")) (Variable "x")) (Variable "z"))) |
| 2024-07-13 19:28:48 +0200 | <female_student_5> | I needed to put example |
| 2024-07-13 19:29:40 +0200 | emm | (~emm@user/edmeme) |
| 2024-07-13 19:30:11 +0200 | <female_student_5> | thank you |
| 2024-07-13 19:30:19 +0200 | <female_student_5> | although, it seems the substitute function will be iffy when I test it |
| 2024-07-13 19:30:47 +0200 | vulpine | (xfnw@user/meow/xfnw) (Server closed connection) |
| 2024-07-13 19:31:09 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:96a5:2771:1a5b:3cc9) (Quit: Leaving) |
| 2024-07-13 19:31:38 +0200 | vulpine | (xfnw@user/meow/xfnw) |
| 2024-07-13 19:32:17 +0200 | sprout | (~quassel@2a02-a448-3a80-0-bd3d-b7cf-ad17-1736.fixed6.kpn.net) |
| 2024-07-13 19:34:25 +0200 | female_student_5 | (~female_st@host-80-42-135-218.as13285.net) (Quit: Client closed) |
| 2024-07-13 19:37:55 +0200 | sprout | (~quassel@2a02-a448-3a80-0-bd3d-b7cf-ad17-1736.fixed6.kpn.net) (Ping timeout: 264 seconds) |
| 2024-07-13 19:38:03 +0200 | female_student_5 | (~female_st@host-80-42-135-218.as13285.net) |
| 2024-07-13 19:38:03 +0200 | <female_student_5> | sorry i got disconnected |
| 2024-07-13 19:39:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-13 19:50:56 +0200 | <female_student_5> | all works now |
| 2024-07-13 19:50:57 +0200 | <female_student_5> | thanks |
| 2024-07-13 19:51:16 +0200 | <haskellbridge> | <magic_rb> Are you implementing a lambda calculus for fun and profit? |
| 2024-07-13 19:53:03 +0200 | <female_student_5> | thanks for the help all - have a good rest of day :)! |
| 2024-07-13 19:53:06 +0200 | female_student_5 | (~female_st@host-80-42-135-218.as13285.net) (Quit: Client closed) |
| 2024-07-13 19:58:15 +0200 | ph88^ | (~ph88@2a02:8109:9e26:c800:b775:971e:e985:8d4d) |
| 2024-07-13 19:58:18 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:4bef:b164:d45c:ef65) (Ping timeout: 245 seconds) |
| 2024-07-13 20:02:34 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2024-07-13 20:03:30 +0200 | puke | (~puke@user/puke) |
| 2024-07-13 20:04:55 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-07-13 20:05:17 +0200 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2024-07-13 20:05:25 +0200 | pyooque | (~puke@user/puke) |
| 2024-07-13 20:05:25 +0200 | pyooque | puke |
| 2024-07-13 20:06:46 +0200 | ash3en | (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) (Remote host closed the connection) |
| 2024-07-13 20:10:38 +0200 | CiaoSen | (~Jura@2a05:5800:2b4:3e00:e6b9:7aff:fe80:3d03) (Ping timeout: 258 seconds) |
| 2024-07-13 20:10:58 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-13 20:11:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-13 20:18:31 +0200 | ash3en | (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) |
| 2024-07-13 20:18:56 +0200 | ash3en | (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) (Remote host closed the connection) |
| 2024-07-13 20:23:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-07-13 20:25:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-13 20:25:32 +0200 | ash3en | (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) |
| 2024-07-13 20:29:13 +0200 | ash3en | (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) (Remote host closed the connection) |
| 2024-07-13 20:29:47 +0200 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (Server closed connection) |
| 2024-07-13 20:30:03 +0200 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 2024-07-13 20:32:22 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-07-13 20:32:27 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-13 20:39:05 +0200 | <ddellacosta> | yet again, the answer was traverse |
| 2024-07-13 20:40:31 +0200 | <Franciman> | are you talking about football, ddellacosta? |
| 2024-07-13 20:41:47 +0200 | ash3en | (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) |
| 2024-07-13 20:42:06 +0200 | <ddellacosta> | Franciman: d'oh sorry, wrong channel :-p |
| 2024-07-13 20:42:45 +0200 | <Franciman> | no you are on the right channel :) |
| 2024-07-13 20:42:52 +0200 | <ddellacosta> | heh |
| 2024-07-13 20:43:38 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Server closed connection) |
| 2024-07-13 20:43:59 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2024-07-13 20:43:59 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2024-07-13 20:43:59 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2024-07-13 20:47:12 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-13 20:48:17 +0200 | ell | (~ellie@user/ellie) (Server closed connection) |
| 2024-07-13 20:48:40 +0200 | ell | (~ellie@user/ellie) |
| 2024-07-13 20:50:07 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-07-13 20:54:30 +0200 | rembo10 | (~rembo10@main.remulis.com) (Server closed connection) |
| 2024-07-13 20:54:47 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2024-07-13 20:56:58 +0200 | sprout | (~quassel@2a02-a448-3a80-0-bd3d-b7cf-ad17-1736.fixed6.kpn.net) |
| 2024-07-13 20:59:19 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-13 20:59:44 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Remote host closed the connection) |
| 2024-07-13 21:00:37 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3300-e679-3c7a-108c-f2d9-59ad.rev.sfr.net) |
| 2024-07-13 21:02:20 +0200 | mira | (~aranea@wireguard/contributorcat/mira) (Server closed connection) |
| 2024-07-13 21:02:45 +0200 | mira | (~aranea@wireguard/contributorcat/mira) |
| 2024-07-13 21:03:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-13 21:07:49 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-13 21:14:08 +0200 | emm | (~emm@user/edmeme) (Ping timeout: 265 seconds) |
| 2024-07-13 21:19:30 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:be5c:5fcb:9a59:be2e) |
| 2024-07-13 21:22:50 +0200 | ph88^ | (~ph88@2a02:8109:9e26:c800:b775:971e:e985:8d4d) (Ping timeout: 265 seconds) |
| 2024-07-13 21:22:55 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 264 seconds) |
| 2024-07-13 21:32:46 +0200 | mulk | (~mulk@p5b2dc1a2.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-07-13 21:35:00 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-13 21:36:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-07-13 21:42:38 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (Server closed connection) |
| 2024-07-13 21:42:57 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) |
| 2024-07-13 21:48:46 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 258 seconds) |
| 2024-07-13 21:49:39 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-13 21:52:11 +0200 | rdcdr | (~rdcdr@user/rdcdr) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-07-13 21:53:06 +0200 | rdcdr | (~rdcdr@user/rdcdr) |
| 2024-07-13 21:58:43 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 2024-07-13 22:06:46 +0200 | destituion | (~destituio@2a02:2121:6bd:3eb7:9c85:17:84a5:7a89) (Ping timeout: 256 seconds) |
| 2024-07-13 22:07:02 +0200 | poscat0x04 | (~poscat@user/poscat) |
| 2024-07-13 22:07:26 +0200 | Flow_ | (~none@gentoo/developer/flow) (Server closed connection) |
| 2024-07-13 22:07:51 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2024-07-13 22:08:08 +0200 | Flow | (~none@gentoo/developer/flow) |
| 2024-07-13 22:09:34 +0200 | <fr33domlover> | Are heterogenous lists (like the HList package) still a thing? Why are none of the heterogenous list packages maintained/updated? And specifically, is there a first-class-families based heterogenous-list implementation? |
| 2024-07-13 22:09:57 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 246 seconds) |
| 2024-07-13 22:10:37 +0200 | <fr33domlover> | I'm trying to use HList with first-class-families, it's painful (might still be possible, not sure yet) because they aren't integrated |
| 2024-07-13 22:10:42 +0200 | <geekosaur> | they don't really need to be |
| 2024-07-13 22:10:49 +0200 | <geekosaur> | (re updated) |
| 2024-07-13 22:11:00 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 246 seconds) |
| 2024-07-13 22:12:38 +0200 | mulk | (~mulk@p5b2dc1a2.dip0.t-ipconnect.de) |
| 2024-07-13 22:12:53 +0200 | <geekosaur> | also hlists are simple enough that they're often hand-rolled instead of using packages |
| 2024-07-13 22:13:57 +0200 | <EvanR> | some things are so simple there's nothing to update |
| 2024-07-13 22:14:49 +0200 | <geekosaur> | e.g. https://github.com/xmonad/xmonad-contrib/blob/master/XMonad/Layout/MultiToggle.hs#L148-L191 |
| 2024-07-13 22:15:34 +0200 | <EvanR> | rewrite the heterolist everytime is haskell's version of C rewrite linked list every time? xD |
| 2024-07-13 22:15:34 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-13 22:15:43 +0200 | <geekosaur> | the main complexity of which is integrating it into a `LayoutClass` |
| 2024-07-13 22:16:39 +0200 | ash3en | (~ash3en@2a01:c23:8886:7700:a039:baee:74cf:6b33) (Ping timeout: 256 seconds) |
| 2024-07-13 22:17:37 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 2024-07-13 22:19:58 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Remote host closed the connection) |
| 2024-07-13 22:22:28 +0200 | yin | (~yin@user/zero) (Ping timeout: 245 seconds) |
| 2024-07-13 22:22:44 +0200 | czy | (~user@host81-158-36-81.range81-158.btcentralplus.com) |
| 2024-07-13 22:23:58 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-13 22:26:41 +0200 | czy | (~user@host81-158-36-81.range81-158.btcentralplus.com) (Remote host closed the connection) |
| 2024-07-13 22:27:35 +0200 | hexagoxel | (~hexagoxel@2a01:4f8:c0c:e::2) (Server closed connection) |
| 2024-07-13 22:27:44 +0200 | hexagoxel | (~hexagoxel@2a01:4f8:c0c:e::2) |
| 2024-07-13 22:27:48 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 246 seconds) |
| 2024-07-13 22:28:07 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 2024-07-13 22:28:49 +0200 | Leary | rolls an HList per project. |
| 2024-07-13 22:29:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-13 22:29:35 +0200 | <ncf> | what do people use HLists for? |
| 2024-07-13 22:30:54 +0200 | <Leary> | Also, generics-sop is a well used and maintained HList package in disguise. |
| 2024-07-13 22:33:54 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Remote host closed the connection) |
| 2024-07-13 22:34:13 +0200 | zmt01 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2024-07-13 22:35:11 +0200 | <EvanR> | the one time I used an HList, the thing I was doing could have been done via creative chaining of composed functions |
| 2024-07-13 22:35:25 +0200 | <EvanR> | I couldn't tell which one was more outlandish |
| 2024-07-13 22:35:37 +0200 | yin | (~yin@user/zero) |
| 2024-07-13 22:35:53 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-13 22:36:05 +0200 | <Leary> | I use them generally to collect related data of different types, often the same tycon over different parameters, sometimes with associated constraints or proof tokens. In some cases those types are actually phantom, in which case the heterogeneity is rather illusory. |
| 2024-07-13 22:36:35 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 264 seconds) |
| 2024-07-13 22:37:37 +0200 | <ncf> | why not [Some f]? |
| 2024-07-13 22:38:14 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 2024-07-13 22:41:48 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-07-13 22:41:55 +0200 | <Leary> | Recent examples include: a concurrency library which internally collects process handles; a checked exeption monad which internally collects `(forall a. e -> M a)` for various `e`; and algebraic effects monad which collects handlers. |
| 2024-07-13 22:42:19 +0200 | <Leary> | In each case, the type information needs to be exposed for safety in the interface. |
| 2024-07-13 22:43:13 +0200 | <Leary> | Even if that weren't the case, unless `f` is a GADT with an easily recoverable parameter, I don't see a reason to use `[Some f]` over an HList. |
| 2024-07-13 22:44:37 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Remote host closed the connection) |
| 2024-07-13 22:46:55 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 2024-07-13 22:49:50 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 265 seconds) |
| 2024-07-13 22:55:54 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-13 22:56:04 +0200 | constxqt | (~constxd@user/constxd) (Quit: kiwi irc - hadmade client) |
| 2024-07-13 22:56:21 +0200 | constxd | (~constxd@user/constxd) |
| 2024-07-13 22:58:01 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-13 22:59:49 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Remote host closed the connection) |
| 2024-07-13 23:02:23 +0200 | <dmj`> | ncf: HList can be used as a poor man's extensible records library |
| 2024-07-13 23:02:25 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 2024-07-13 23:06:20 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Server closed connection) |
| 2024-07-13 23:06:45 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2024-07-13 23:08:43 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 245 seconds) |
| 2024-07-13 23:10:50 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-13 23:11:17 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-13 23:11:20 +0200 | acarrico | (~acarrico@dhcp-68-142-57-215.greenmountainaccess.net) |
| 2024-07-13 23:14:58 +0200 | yin | (~yin@user/zero) (Ping timeout: 265 seconds) |
| 2024-07-13 23:17:16 +0200 | ash3en | (~ash3en@193.32.248.188) |
| 2024-07-13 23:20:32 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Remote host closed the connection) |
| 2024-07-13 23:21:49 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-13 23:23:07 +0200 | czy | (~user@host81-158-36-81.range81-158.btcentralplus.com) |
| 2024-07-13 23:23:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-13 23:23:23 +0200 | markasoftware | (~quassel@107.161.26.124) (Server closed connection) |
| 2024-07-13 23:23:36 +0200 | yin | (~yin@user/zero) |
| 2024-07-13 23:23:48 +0200 | markasoftware | (~quassel@107.161.26.124) |
| 2024-07-13 23:25:23 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 245 seconds) |
| 2024-07-13 23:25:52 +0200 | czy | (~user@host81-158-36-81.range81-158.btcentralplus.com) (Remote host closed the connection) |
| 2024-07-13 23:27:23 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) |
| 2024-07-13 23:28:56 +0200 | ash3en | (~ash3en@193.32.248.188) (Remote host closed the connection) |
| 2024-07-13 23:29:15 +0200 | ash3en | (~ash3en@193.32.248.188) |
| 2024-07-13 23:29:29 +0200 | <Leary> | fr33domlover: Bit late, but I guess the conclusion is: if you need an FCF integrated HList, just write one. |
| 2024-07-13 23:31:37 +0200 | docwombat | (~user@user/docwombat) |
| 2024-07-13 23:33:11 +0200 | ash3en | (~ash3en@193.32.248.188) (Remote host closed the connection) |
| 2024-07-13 23:33:24 +0200 | Ellenor | Reinhilde |
| 2024-07-13 23:34:37 +0200 | pavonia | (~user@user/siracusa) |
| 2024-07-13 23:36:14 +0200 | czy | (~user@2a00:23c6:54a8:6301:3590:bf50:22a8:ee0) (Ping timeout: 265 seconds) |
| 2024-07-13 23:37:31 +0200 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-07-13 23:39:05 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-07-13 23:50:03 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-13 23:50:07 +0200 | czy | (~user@host81-158-36-81.range81-158.btcentralplus.com) |
| 2024-07-13 23:54:33 +0200 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2024-07-13 23:54:47 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-13 23:55:06 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-13 23:55:29 +0200 | She | (haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.) |
| 2024-07-13 23:55:39 +0200 | She | (haveident@libera/staff/she/her) |
| 2024-07-13 23:56:13 +0200 | czy | (~user@host81-158-36-81.range81-158.btcentralplus.com) (Ping timeout: 245 seconds) |
| 2024-07-13 23:57:34 +0200 | docwombat | (~user@user/docwombat) (Quit: leaving) |