| 2024-06-27 00:02:45 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2024-06-27 00:02:55 +0000 | acarrico | (~acarrico@dhcp-68-142-57-215.greenmountainaccess.net) (Quit: Leaving.) |
| 2024-06-27 00:05:05 +0000 | SoF | (~skius@user/skius) (Remote host closed the connection) |
| 2024-06-27 00:08:40 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2024-06-27 00:13:48 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-27 00:14:39 +0000 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2024-06-27 00:20:15 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2024-06-27 00:24:13 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-27 00:26:51 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-27 00:33:46 +0000 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
| 2024-06-27 00:34:12 +0000 | henry40408 | (~henry4040@175.182.111.183) |
| 2024-06-27 00:36:13 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Remote host closed the connection) |
| 2024-06-27 00:38:06 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-06-27 00:40:11 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
| 2024-06-27 01:02:15 +0000 | aforemny | (~aforemny@i59F516D5.versanet.de) (Ping timeout: 268 seconds) |
| 2024-06-27 01:02:37 +0000 | aforemny | (~aforemny@i59F516D5.versanet.de) |
| 2024-06-27 01:06:45 +0000 | joeyadams | (~joeyadams@2603:6010:5100:2ed:93a8:3ab0:fdc9:ca35) (Quit: Leaving) |
| 2024-06-27 01:16:15 +0000 | xff0x | (~xff0x@2405:6580:b080:900:374:70e:871e:8e7b) (Ping timeout: 256 seconds) |
| 2024-06-27 01:25:13 +0000 | safinaskar | (~quassel@212.73.77.104) () |
| 2024-06-27 01:25:44 +0000 | xstill_ | (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds)) |
| 2024-06-27 01:25:56 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
| 2024-06-27 01:26:04 +0000 | xstill_ | (xstill@fimu/xstill) |
| 2024-06-27 01:26:29 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2024-06-27 01:27:16 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.) |
| 2024-06-27 01:28:25 +0000 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-06-27 01:46:55 +0000 | phma | (phma@2001:5b0:210f:1ad8:36db:ca4e:16e7:7eb) (Read error: Connection reset by peer) |
| 2024-06-27 01:47:04 +0000 | rosco | (~rosco@175.136.155.137) |
| 2024-06-27 01:47:21 +0000 | phma | (~phma@host-67-44-208-96.hnremote.net) |
| 2024-06-27 01:47:23 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-06-27 02:00:50 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-27 02:07:05 +0000 | soverysour | (~soverysou@81.196.150.219) |
| 2024-06-27 02:07:05 +0000 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-06-27 02:07:05 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-27 02:07:11 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2024-06-27 02:08:05 +0000 | dequbed | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 240 seconds) |
| 2024-06-27 02:08:30 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) |
| 2024-06-27 02:09:10 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-27 02:11:24 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 255 seconds) |
| 2024-06-27 02:48:15 +0000 | td_ | (~td@i53870920.versanet.de) (Ping timeout: 264 seconds) |
| 2024-06-27 02:49:52 +0000 | td_ | (~td@i53870923.versanet.de) |
| 2024-06-27 03:01:50 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-06-27 03:05:17 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2024-06-27 03:16:39 +0000 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2024-06-27 03:17:03 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2024-06-27 03:22:32 +0000 | MrFox | (~MrFox___@216-151-184-162.lon.as62651.net) |
| 2024-06-27 03:23:42 +0000 | MrFox | darmario |
| 2024-06-27 03:23:46 +0000 | darmario | (~MrFox___@216-151-184-162.lon.as62651.net) (Changing host) |
| 2024-06-27 03:23:46 +0000 | darmario | (~MrFox___@user/darmario) |
| 2024-06-27 03:37:01 +0000 | aforemny_ | (~aforemny@i59F516E5.versanet.de) |
| 2024-06-27 03:38:35 +0000 | aforemny | (~aforemny@i59F516D5.versanet.de) (Ping timeout: 268 seconds) |
| 2024-06-27 03:40:21 +0000 | madhavanmiui | (~madhavanm@2409:40f4:3047:1afd:8000::) |
| 2024-06-27 03:46:39 +0000 | madhavanmiui | (~madhavanm@2409:40f4:3047:1afd:8000::) (Read error: Connection reset by peer) |
| 2024-06-27 03:46:47 +0000 | zzz | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-06-27 03:46:55 +0000 | madhavanmiui | (~madhavanm@2409:40f4:3047:1afd:8000::) |
| 2024-06-27 03:48:40 +0000 | zzz | (~yin@user/zero) |
| 2024-06-27 03:48:53 +0000 | madhavanmiui | (~madhavanm@2409:40f4:3047:1afd:8000::) (Read error: Connection reset by peer) |
| 2024-06-27 03:49:06 +0000 | madhavanmiui | (~madhavanm@152.58.250.215) |
| 2024-06-27 03:51:21 +0000 | madhavanmiui | (~madhavanm@152.58.250.215) (Client Quit) |
| 2024-06-27 04:03:33 +0000 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-06-27 04:04:04 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-27 04:04:11 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2024-06-27 04:05:46 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-27 04:16:11 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
| 2024-06-27 04:16:28 +0000 | darmario | (~MrFox___@user/darmario) (Leaving) |
| 2024-06-27 04:24:23 +0000 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-27 04:34:17 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-27 04:34:58 +0000 | wbooze | (~wbooze@2a02:908:1244:9a20:3d84:fc89:d93b:3334) (Remote host closed the connection) |
| 2024-06-27 04:58:31 +0000 | sroso | (~sroso@user/SrOso) |
| 2024-06-27 05:08:18 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2024-06-27 05:16:02 +0000 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-06-27 05:23:55 +0000 | monochrom | (trebla@216.138.220.146) |
| 2024-06-27 05:24:57 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-06-27 05:30:11 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-06-27 05:35:59 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
| 2024-06-27 05:39:33 +0000 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-06-27 05:40:24 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-27 05:42:53 +0000 | michalz | (~michalz@185.246.207.215) |
| 2024-06-27 05:46:53 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e714dc25e45fde1d7555be75.dip0.t-ipconnect.de) |
| 2024-06-27 05:48:14 +0000 | danse-nr3 | (~danse-nr3@151.44.219.215) |
| 2024-06-27 05:49:17 +0000 | danse-nr3 | (~danse-nr3@151.44.219.215) (Remote host closed the connection) |
| 2024-06-27 05:49:42 +0000 | danse-nr3 | (~danse-nr3@151.44.219.215) |
| 2024-06-27 05:55:39 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-27 05:58:50 +0000 | dcoutts_ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 2024-06-27 06:00:55 +0000 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-06-27 06:02:23 +0000 | forell | (~forell@user/forell) (Ping timeout: 264 seconds) |
| 2024-06-27 06:03:48 +0000 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
| 2024-06-27 06:05:23 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-27 06:06:43 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Quit: xff0x) |
| 2024-06-27 06:09:31 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-06-27 06:13:39 +0000 | tv | (~tv@user/tv) (Ping timeout: 260 seconds) |
| 2024-06-27 06:22:38 +0000 | rosco | (~rosco@175.136.155.137) |
| 2024-06-27 06:29:14 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-27 06:53:03 +0000 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-06-27 06:53:32 +0000 | m1dnight | (~christoph@82.146.125.185) (Quit: WeeChat 4.2.2) |
| 2024-06-27 06:54:17 +0000 | m1dnight | (~christoph@82.146.125.185) |
| 2024-06-27 06:57:47 +0000 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2024-06-27 06:58:20 +0000 | echoreply | (~echoreply@45.32.163.16) |
| 2024-06-27 07:11:59 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:89e:9b05:41f1:3af8) (Ping timeout: 256 seconds) |
| 2024-06-27 07:12:41 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:143f:9778:ef77:7e4) |
| 2024-06-27 07:17:24 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-27 07:20:37 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2024-06-27 07:21:45 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:dc03:8000::) |
| 2024-06-27 07:24:17 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2024-06-27 07:24:18 +0000 | madhavanmiui | (~madhavanm@2409:40f4:10fe:dc03:8000::) (Client Quit) |
| 2024-06-27 07:24:48 +0000 | wbooze | (~wbooze@2a02:908:1244:9a20:9512:47b7:c73:ce1d) |
| 2024-06-27 07:27:35 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds) |
| 2024-06-27 07:36:30 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-27 07:47:51 +0000 | tv | (~tv@user/tv) |
| 2024-06-27 07:47:52 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-27 08:03:37 +0000 | rvalue- | (~rvalue@user/rvalue) |
| 2024-06-27 08:04:47 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-06-27 08:06:04 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-27 08:07:37 +0000 | rvalue- | rvalue |
| 2024-06-27 08:15:27 +0000 | chele | (~chele@user/chele) |
| 2024-06-27 08:44:27 +0000 | danse-nr3 | (~danse-nr3@151.44.219.215) (Ping timeout: 268 seconds) |
| 2024-06-27 08:47:44 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-06-27 08:48:21 +0000 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-06-27 08:52:55 +0000 | danse-nr3 | (~danse-nr3@151.57.38.73) |
| 2024-06-27 08:55:03 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 255 seconds) |
| 2024-06-27 09:00:14 +0000 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-06-27 09:06:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-27 09:10:29 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 240 seconds) |
| 2024-06-27 09:13:04 +0000 | tt123109783 | (~tt1231@syn-075-185-104-199.res.spectrum.com) |
| 2024-06-27 09:14:51 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-06-27 09:15:17 +0000 | tt12310978 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 240 seconds) |
| 2024-06-27 09:15:18 +0000 | tt123109783 | tt12310978 |
| 2024-06-27 09:15:45 +0000 | zzz | (~yin@user/zero) |
| 2024-06-27 09:16:45 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-06-27 09:24:10 +0000 | gehmehgeh | gmg |
| 2024-06-27 09:24:55 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-06-27 09:41:35 +0000 | destituion | (~destituio@2a02:2121:6cb:fbc3:3c0f:94ae:6844:a1fa) (Ping timeout: 256 seconds) |
| 2024-06-27 09:42:33 +0000 | destituion | (~destituio@85.221.111.174) |
| 2024-06-27 09:50:46 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-06-27 09:51:13 +0000 | rosco | (~rosco@175.136.155.137) |
| 2024-06-27 10:01:34 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 2024-06-27 10:03:41 +0000 | notzmv | (~daniel@user/notzmv) (Ping timeout: 268 seconds) |
| 2024-06-27 10:05:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-27 10:12:27 +0000 | tv | (~tv@user/tv) (Ping timeout: 255 seconds) |
| 2024-06-27 10:14:14 +0000 | cheater_ | (~Username@user/cheater) |
| 2024-06-27 10:18:11 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2024-06-27 10:18:11 +0000 | cheater_ | cheater |
| 2024-06-27 10:19:08 +0000 | CiaoSen | (~Jura@2a05:5800:2b1:7a00:e6b9:7aff:fe80:3d03) |
| 2024-06-27 10:20:05 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-27 10:20:23 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a4df:4a3a:94ab:11e4) |
| 2024-06-27 10:24:42 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 256 seconds) |
| 2024-06-27 10:24:59 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:eae9:52ec:67d4:506b) |
| 2024-06-27 10:25:26 +0000 | tv | (~tv@user/tv) |
| 2024-06-27 10:32:53 +0000 | tabaqui | (~root@91.74.190.107) (Quit: WeeChat 4.2.2) |
| 2024-06-27 10:35:56 +0000 | tabaqui | (~root@91.74.190.107) |
| 2024-06-27 10:36:58 +0000 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-06-27 10:37:18 +0000 | tabaqui | (~root@91.74.190.107) (Client Quit) |
| 2024-06-27 10:38:48 +0000 | tabaqui | (~root@91.74.190.107) |
| 2024-06-27 10:48:41 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-27 10:49:41 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 240 seconds) |
| 2024-06-27 10:56:03 +0000 | danse-nr3 | (~danse-nr3@151.57.38.73) (Ping timeout: 264 seconds) |
| 2024-06-27 11:07:10 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-06-27 11:14:51 +0000 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-06-27 11:15:53 +0000 | notzmv | (~daniel@user/notzmv) |
| 2024-06-27 11:22:07 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2024-06-27 11:22:57 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-06-27 11:25:42 +0000 | notzmv | (~daniel@user/notzmv) (Ping timeout: 268 seconds) |
| 2024-06-27 11:26:23 +0000 | zzz | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-06-27 11:33:24 +0000 | zzz | (~yin@user/zero) |
| 2024-06-27 11:36:03 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e714dc25e45fde1d7555be75.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-06-27 11:41:02 +0000 | forell | (~forell@user/forell) |
| 2024-06-27 11:45:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-27 11:45:43 +0000 | meritamen | (~user@user/meritamen) |
| 2024-06-27 11:48:46 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-06-27 11:49:55 +0000 | <mreh> | are there any functions other than `id` and `const <foo>` that have the type forall a. a -> r? |
| 2024-06-27 11:50:46 +0000 | <mreh> | or functions in the form `const <foo>`, rather |
| 2024-06-27 11:51:35 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Quit: dysthesis) |
| 2024-06-27 11:53:44 +0000 | <ncf> | depends on what r is |
| 2024-06-27 11:54:09 +0000 | <probie> | :t flip seq |
| 2024-06-27 11:54:10 +0000 | <lambdabot> | c -> a -> c |
| 2024-06-27 11:54:38 +0000 | <ncf> | also yeah, are you interested in laziness shenanigans |
| 2024-06-27 11:55:23 +0000 | <probie> | > const "foo" (error "whoops") |
| 2024-06-27 11:55:25 +0000 | <lambdabot> | "foo" |
| 2024-06-27 11:55:34 +0000 | <probie> | > flip seq "foo" (error "whoops") |
| 2024-06-27 11:55:35 +0000 | <lambdabot> | "*Exception: whoops |
| 2024-06-27 11:57:05 +0000 | <mreh> | It's an exercise in this textbook about existential types. "Are functions of type forall a. a -> r interesting? |
| 2024-06-27 11:57:29 +0000 | <mreh> | the textbook is about Type level programming "Thinking in Types" |
| 2024-06-27 11:57:59 +0000 | <ncf> | and what is r? |
| 2024-06-27 11:59:31 +0000 | <mreh> | Well, I'm coming at it from the other end. It can only be (forall a. a -> a) which is id, and the only other function I could come up with which satisfies it is `const` |
| 2024-06-27 11:59:41 +0000 | <mreh> | so r can only be the r in `const r` |
| 2024-06-27 11:59:56 +0000 | <mreh> | I think that's what they're getting at. |
| 2024-06-27 12:01:10 +0000 | <ncf> | ok i think the point of the exercise is to say what functions forall a. a -> r are *for a fixed r* |
| 2024-06-27 12:01:23 +0000 | <ncf> | in which case you don't even get id |
| 2024-06-27 12:01:41 +0000 | <ncf> | i claim that forall r, (forall a. a -> r) ≃ r |
| 2024-06-27 12:02:03 +0000 | <mreh> | isomorphic? |
| 2024-06-27 12:02:06 +0000 | <ncf> | yes |
| 2024-06-27 12:02:32 +0000 | <ncf> | proof hint: use the yoneda lemma with Const r |
| 2024-06-27 12:04:58 +0000 | <mreh> | it makes sense ituitively, so if it's isomorphic to r then I guess it's not very interesting |
| 2024-06-27 12:09:28 +0000 | <mreh> | I dont think my category theory is good enough to prove it |
| 2024-06-27 12:22:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-27 12:24:33 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-06-27 12:25:34 +0000 | <arahael> | Out of curiousity more than anything, with haskell shakespeare templates (yesod), how can I like, #include one templated file in another? |
| 2024-06-27 12:28:50 +0000 | <arahael> | Looks like what I probably want are the "whamlets". So that answers my own question. |
| 2024-06-27 12:33:10 +0000 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-06-27 12:33:13 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e714dc25e45fde1d7555be75.dip0.t-ipconnect.de) |
| 2024-06-27 12:34:10 +0000 | kimiamania | (~65804703@user/kimiamania) |
| 2024-06-27 12:44:54 +0000 | wbooze | (~wbooze@2a02:908:1244:9a20:9512:47b7:c73:ce1d) (Remote host closed the connection) |
| 2024-06-27 13:03:00 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 255 seconds) |
| 2024-06-27 13:04:02 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-06-27 13:05:39 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-06-27 13:09:45 +0000 | euleritian | (~euleritia@dynamic-176-001-208-051.176.1.pool.telefonica.de) |
| 2024-06-27 13:09:51 +0000 | meritamen | (~user@user/meritamen) (Ping timeout: 264 seconds) |
| 2024-06-27 13:15:56 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-06-27 13:19:58 +0000 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2024-06-27 13:22:32 +0000 | hc | (~hc@mail.hce.li) |
| 2024-06-27 13:23:00 +0000 | <absence> | Is there a way to use record update on a sum type, or do you have to un/rewrap the constructor manually, e.g. \case A a -> A a{....}? |
| 2024-06-27 13:26:03 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 264 seconds) |
| 2024-06-27 13:36:57 +0000 | <kaol> | absence: It should be fine. You'll get a runtime exception if it's not an A, of course. |
| 2024-06-27 13:41:54 +0000 | <absence> | kaol: That's ... not good. No way to provide separate updates for each of the constructors? |
| 2024-06-27 13:43:53 +0000 | <kaol> | Sure there is, if you pattern match. |
| 2024-06-27 13:45:18 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-06-27 13:45:58 +0000 | <kaol> | And if fields have same names (and types of course) you can just use same record update for any of the sum values. |
| 2024-06-27 13:47:27 +0000 | <kaol> | With something like "data SumType = A { foo :: Int, bar :: Int } | B { foo :: Int, abc :: Int }" you can use upd x = x { foo = 1 }. |
| 2024-06-27 13:48:40 +0000 | comonad | (~comonad@p200300d02713e4006c810324fa66ca70.dip0.t-ipconnect.de) |
| 2024-06-27 13:49:50 +0000 | <absence> | Right, but if I pattern match I have to do the manual constructor rewrapping, so I guess there are no shortcuts. |
| 2024-06-27 13:51:51 +0000 | TMA | (tma@twin.jikos.cz) (Ping timeout: 268 seconds) |
| 2024-06-27 13:52:24 +0000 | <kaol> | Not necessarily. \case x@A{..} -> x { foo = 1 } works. |
| 2024-06-27 13:53:50 +0000 | <kaol> | Or rather \case x@A{} -> x { foo = 1 }. That was record wildcards and for this no need for it. |
| 2024-06-27 14:00:26 +0000 | <absence> | Nice, thanks! |
| 2024-06-27 14:01:05 +0000 | wbooze | (~wbooze@2a02:908:1244:9a20:d426:d0e1:e498:10ea) |
| 2024-06-27 14:03:04 +0000 | zzz | (~yin@user/zero) (Ping timeout: 246 seconds) |
| 2024-06-27 14:04:52 +0000 | TMA | (tma@twin.jikos.cz) |
| 2024-06-27 14:12:12 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-06-27 14:12:15 +0000 | EvanR | eyes sum type with field names with suspicion |
| 2024-06-27 14:14:03 +0000 | michalz | (~michalz@185.246.207.215) (Ping timeout: 264 seconds) |
| 2024-06-27 14:16:40 +0000 | euleritian | (~euleritia@dynamic-176-001-208-051.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-27 14:18:54 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-27 14:29:33 +0000 | zzz | (~yin@user/zero) |
| 2024-06-27 14:31:41 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds) |
| 2024-06-27 14:38:16 +0000 | noscript | (~noscript@user/earldouglas) (WeeChat 4.2.1) |
| 2024-06-27 14:48:55 +0000 | pavonia | (~user@user/siracusa) |
| 2024-06-27 14:52:36 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2024-06-27 14:54:25 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-27 15:02:23 +0000 | ocra8 | (~ocra8@user/ocra8) (Ping timeout: 260 seconds) |
| 2024-06-27 15:04:23 +0000 | ocra8 | (ocra8@user/ocra8) |
| 2024-06-27 15:07:27 +0000 | destituion | (~destituio@85.221.111.174) (Ping timeout: 264 seconds) |
| 2024-06-27 15:07:32 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-06-27 15:10:08 +0000 | ocra8 | (ocra8@user/ocra8) (Excess Flood) |
| 2024-06-27 15:15:42 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-06-27 15:19:11 +0000 | destituion | (~destituio@2a02:2121:6cb:fbc3:ec2c:8d1b:640f:1406) |
| 2024-06-27 15:21:37 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-27 15:36:04 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
| 2024-06-27 15:36:23 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2024-06-27 15:45:49 +0000 | causal | (~eric@50.35.88.207) |
| 2024-06-27 15:54:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-27 16:06:41 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-06-27 16:10:22 +0000 | CiaoSen | (~Jura@2a05:5800:2b1:7a00:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds) |
| 2024-06-27 16:11:29 +0000 | irfan | (~irfan@user/irfan) |
| 2024-06-27 16:12:05 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-06-27 16:12:31 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-06-27 16:14:55 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-06-27 16:15:49 +0000 | irfan | (~irfan@user/irfan) (Quit: leaving) |
| 2024-06-27 16:16:36 +0000 | irfan | (~irfan@user/irfan) |
| 2024-06-27 16:17:16 +0000 | zmt01 | (~zmt00@user/zmt00) |
| 2024-06-27 16:17:54 +0000 | irfan | flareon |
| 2024-06-27 16:18:00 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
| 2024-06-27 16:18:35 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-06-27 16:18:45 +0000 | flareon | (~irfan@user/irfan) (Client Quit) |
| 2024-06-27 16:19:11 +0000 | euleritian | (~euleritia@dynamic-176-001-208-051.176.1.pool.telefonica.de) |
| 2024-06-27 16:22:36 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-27 16:23:05 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-06-27 16:24:07 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-27 16:28:47 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 264 seconds) |
| 2024-06-27 16:32:07 +0000 | glguy | (g@libera/staff/glguy) (Remote host closed the connection) |
| 2024-06-27 16:33:14 +0000 | glguy | (g@libera/staff/glguy) |
| 2024-06-27 16:36:23 +0000 | ocra8 | (ocra8@user/ocra8) |
| 2024-06-27 16:37:27 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-27 16:50:58 +0000 | sprout_ | (~quassel@2a02-a448-3a80-0-d123-5da7-9ae5-44be.fixed6.kpn.net) |
| 2024-06-27 16:51:35 +0000 | soverysour | (~soverysou@81.196.150.219) |
| 2024-06-27 16:51:35 +0000 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-06-27 16:51:35 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-27 16:51:49 +0000 | ocra8 | (ocra8@user/ocra8) (Ping timeout: 256 seconds) |
| 2024-06-27 16:51:55 +0000 | sprout | (~quassel@2a02-a448-3a80-0-3430-92e6-1565-73f9.fixed6.kpn.net) (Ping timeout: 268 seconds) |
| 2024-06-27 16:53:43 +0000 | ocra8 | (~ocra8@user/ocra8) |
| 2024-06-27 17:05:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-27 17:06:00 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 255 seconds) |
| 2024-06-27 17:07:12 +0000 | sprout_ | sprout |
| 2024-06-27 17:11:53 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:eae9:52ec:67d4:506b) (Remote host closed the connection) |
| 2024-06-27 17:13:27 +0000 | qqq | (~qqq@92.43.167.61) |
| 2024-06-27 17:16:47 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
| 2024-06-27 17:18:32 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2024-06-27 17:30:55 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2024-06-27 17:39:33 +0000 | <lxsameer> | Either I'm blind or too tired to notice it. but do you see any syntax error here? `newdata Backend = Backend {pool :: !DBPool}` |
| 2024-06-27 17:41:10 +0000 | <geekosaur> | also check the immediately preceding code, sometimes you get an error because ghc is looking for a close paren or etc., or you have incorrect layout |
| 2024-06-27 17:41:21 +0000 | <Leary> | "newdata"? |
| 2024-06-27 17:41:43 +0000 | <Leary> | If that's meant to be a newtype, then the ! is an error too. |
| 2024-06-27 17:42:01 +0000 | <geekosaur> | oh, whoops, yes, misread |
| 2024-06-27 17:42:02 +0000 | <lxsameer> | jaysus, cheers |
| 2024-06-27 17:42:09 +0000 | <geekosaur> | newdata isn't a word 🙂 |
| 2024-06-27 17:42:11 +0000 | <lxsameer> | so I'm blind then :))) |
| 2024-06-27 17:42:34 +0000 | <lxsameer> | I was looking at this for like 2 hours |
| 2024-06-27 17:42:50 +0000 | soverysour | (~soverysou@81.196.150.219) |
| 2024-06-27 17:42:50 +0000 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-06-27 17:42:50 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-27 17:43:28 +0000 | <Leary> | Consider using syntax highlighting in your editor. It will make errors like this pretty obvious. |
| 2024-06-27 17:44:43 +0000 | <lxsameer> | I do actually, funny enough I ignored the error as well :D |
| 2024-06-27 17:45:33 +0000 | <haskellbridge> | <iqubic (she/her)> Wait... is it impossible to have strict data in a newtype wrapper? |
| 2024-06-27 17:46:57 +0000 | <zzz> | {-# LANGUAGE NewDataDeclarations #-} |
| 2024-06-27 17:47:08 +0000 | <haskellbridge> | <iqubic (she/her)> What's that do? |
| 2024-06-27 17:47:49 +0000 | <zzz> | iqubic if you mean the pragma i just made up, probably throws an error |
| 2024-06-27 17:50:53 +0000 | <zzz> | iqubic: you can't have strict annotations in newtypes |
| 2024-06-27 17:51:09 +0000 | <Leary> | The newtype wrapper does not ultimately exist, so there's nothing meaningfully different to link the demand to. `Con !x` is essentially `\x -> x `seq` Con x`, but if `Con` is a newtype wrapper then that degenerates to `\x -> x `seq` x`. |
| 2024-06-27 17:55:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-27 17:56:35 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-06-27 17:57:17 +0000 | <zzz> | f (MyNewtypeConstructor _) = () ; f undefined -- this pattern match won't fail because MyNewtypeWrapper doesn't actually exist |
| 2024-06-27 17:58:16 +0000 | <zzz> | so it's the same as `f _ = ()` |
| 2024-06-27 18:04:25 +0000 | <zzz> | f (_ :: MyNewType) = () -- to be precise |
| 2024-06-27 18:05:11 +0000 | <zzz> | s/MyNewtypeWrapper/MyNewtypeConstructor |
| 2024-06-27 18:07:43 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-06-27 18:11:51 +0000 | mikess | (~mikess@user/mikess) |
| 2024-06-27 18:12:19 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-06-27 18:12:42 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2024-06-27 18:13:09 +0000 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) |
| 2024-06-27 18:14:59 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-06-27 18:17:20 +0000 | safinaskar | (~quassel@212.73.77.104) |
| 2024-06-27 18:17:30 +0000 | safinaskar | (~quassel@212.73.77.104) () |
| 2024-06-27 18:18:56 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-27 18:20:58 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-27 18:21:55 +0000 | <lxsameer> | is there any thread (os thread) local state in haskell's concurrency? |
| 2024-06-27 18:24:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-27 18:24:12 +0000 | <EvanR> | not normally, but if you're linking to a library that uses thread local state you can ask for a thread to be bound to one OS thread |
| 2024-06-27 18:24:33 +0000 | <lxsameer> | got it, thank you |
| 2024-06-27 18:26:16 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 2024-06-27 18:27:10 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-06-27 18:33:56 +0000 | kuribas | (~user@ptr-17d51ep8o8jltn94jrx.18120a2.ip6.access.telenet.be) |
| 2024-06-27 18:40:22 +0000 | pierrot | (~pi@user/pierrot) (Read error: Connection reset by peer) |
| 2024-06-27 18:45:40 +0000 | pierrot | (~pi@user/pierrot) |
| 2024-06-27 18:51:35 +0000 | soverysour | (~soverysou@81.196.150.219) |
| 2024-06-27 18:51:36 +0000 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-06-27 18:51:36 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-27 18:51:57 +0000 | tabemann__ | (~tabemann@2600:1700:7990:24e0:a80c:5b74:1624:82db) (Remote host closed the connection) |
| 2024-06-27 18:51:59 +0000 | geekosaur | (sid609282@xmonad/geekosaur) (Ping timeout: 260 seconds) |
| 2024-06-27 18:51:59 +0000 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (Ping timeout: 260 seconds) |
| 2024-06-27 18:52:10 +0000 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) |
| 2024-06-27 18:52:10 +0000 | geekosaur | (sid609282@xmonad/geekosaur) |
| 2024-06-27 18:52:11 +0000 | tabemann__ | (~tabemann@2600:1700:7990:24e0:fc27:3b97:9d0e:b091) |
| 2024-06-27 18:56:26 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
| 2024-06-27 19:00:52 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-06-27 19:01:43 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-27 19:11:39 +0000 | kuribas | (~user@ptr-17d51ep8o8jltn94jrx.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2024-06-27 19:14:15 +0000 | ocra8 | (~ocra8@user/ocra8) (Ping timeout: 272 seconds) |
| 2024-06-27 19:26:05 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-27 19:30:27 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 255 seconds) |
| 2024-06-27 19:32:03 +0000 | Guest84 | (~Guest84@pool-174-112-127-99.cpe.net.cable.rogers.com) |
| 2024-06-27 19:33:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-27 19:35:12 +0000 | <Guest84> | Im working on a very small parser for my own usage, but i havent been able to properly encode parsing error messages. So, given some `newtype Parser s m a = Parser {runParser :: s -> m (a,s)}` how would you preserve the ease of monadic parsing with error messages? I've tried doing `m = Either String`, but I couldn't figure out how to use that with |
| 2024-06-27 19:35:13 +0000 | <Guest84> | the monadic combinators. Any ideas on how I could do this? |
| 2024-06-27 19:42:38 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-06-27 19:44:41 +0000 | soverysour | (~soverysou@81.196.150.219) |
| 2024-06-27 19:44:41 +0000 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-06-27 19:44:41 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-06-27 19:49:50 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 2024-06-27 19:50:47 +0000 | <Leary> | Guest84: I would use transformers as building blocks and derive: `newtype ParserT s e m a = ParserT{ unParserT :: StateT s (ExceptT e m) a } deriving (Functor, Applicative, Alternative, Monad)` |
| 2024-06-27 19:53:07 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-27 19:53:08 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 2024-06-27 19:54:01 +0000 | pavonia | (~user@user/siracusa) |
| 2024-06-27 19:56:02 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-06-27 19:56:23 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-06-27 19:58:11 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-27 20:00:53 +0000 | michalz | (~michalz@185.246.207.203) |
| 2024-06-27 20:03:19 +0000 | <Guest84> | Leary: Thanks, that seems to solve my problem. Also, is there any specific reason to use StateT rather than writing `s -> ExceptT e m (a, s)`? |
| 2024-06-27 20:04:41 +0000 | euleritian | (~euleritia@dynamic-176-001-208-051.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-27 20:05:03 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-27 20:05:18 +0000 | <EvanR> | combining mtl classes gives you automagic lifting |
| 2024-06-27 20:05:37 +0000 | <ncf> | it gives you a Monad instance... |
| 2024-06-27 20:05:46 +0000 | <EvanR> | and that |
| 2024-06-27 20:08:37 +0000 | Guest84 | (~Guest84@pool-174-112-127-99.cpe.net.cable.rogers.com) (Quit: Client closed) |
| 2024-06-27 20:10:01 +0000 | Guest84 | (~Guest84@pool-174-112-127-99.cpe.net.cable.rogers.com) |
| 2024-06-27 20:17:57 +0000 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
| 2024-06-27 20:24:13 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 2024-06-27 20:29:54 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-06-27 20:30:45 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-06-27 20:46:11 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 264 seconds) |
| 2024-06-27 20:50:46 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-27 20:54:08 +0000 | wbooze | (~wbooze@2a02:908:1244:9a20:d426:d0e1:e498:10ea) (Remote host closed the connection) |
| 2024-06-27 21:02:23 +0000 | AlexZenon | (~alzenon@94.233.241.180) (Ping timeout: 252 seconds) |
| 2024-06-27 21:02:32 +0000 | <haskellbridge> | <zwro> testing |
| 2024-06-27 21:02:42 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-06-27 21:02:54 +0000 | <haskellbridge> | <zwro> * test |
| 2024-06-27 21:03:51 +0000 | <haskellbridge> | <magic_rb> Test back |
| 2024-06-27 21:04:46 +0000 | <geekosaur> | you're here |
| 2024-06-27 21:05:25 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-06-27 21:05:32 +0000 | AlexZenon | (~alzenon@94.233.241.180) |
| 2024-06-27 21:06:26 +0000 | <haskellbridge> | <zwro> i wanted to see how edits translate to irc |
| 2024-06-27 21:07:23 +0000 | gorignak | (~gorignak@user/gorignak) |
| 2024-06-27 21:08:15 +0000 | <zzz> | are there any current plans in the vein of Haskel Prime? |
| 2024-06-27 21:08:36 +0000 | <haskellbridge> | <zwro> * edited messages |
| 2024-06-27 21:08:45 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-06-27 21:09:26 +0000 | <haskellbridge> | <zwro> * editing messages |
| 2024-06-27 21:10:32 +0000 | <haskellbridge> | <zwro> testing completed [2 passed] [1 failed] |
| 2024-06-27 21:11:15 +0000 | Guest84 | (~Guest84@pool-174-112-127-99.cpe.net.cable.rogers.com) (Quit: Client closed) |
| 2024-06-27 21:13:17 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-06-27 21:18:33 +0000 | <cheater> | does anyone know if haskell works under nix on windows / WSL2? |
| 2024-06-27 21:19:56 +0000 | euleritian | (~euleritia@176.2.138.94) |
| 2024-06-27 21:29:50 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2024-06-27 21:31:04 +0000 | euleritian | (~euleritia@176.2.138.94) (Ping timeout: 246 seconds) |
| 2024-06-27 21:32:47 +0000 | euleritian | (~euleritia@dynamic-176-002-138-019.176.2.pool.telefonica.de) |
| 2024-06-27 21:38:05 +0000 | <dibblego> | after `cabal install --lib --global lens` then build-depends: lens in a .cabal file, why does `cabal repl` then need to reinstall the lens library? |
| 2024-06-27 21:46:04 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 268 seconds) |
| 2024-06-27 21:47:00 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-06-27 21:47:22 +0000 | m5zs7k | (aquares@web10.mydevil.net) |
| 2024-06-27 21:47:57 +0000 | <jackdk> | the solver has likely decided that the version of lens in the global package db is not compatible with the other bounds on your package |
| 2024-06-27 21:48:02 +0000 | euleritian | (~euleritia@dynamic-176-002-138-019.176.2.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-06-27 21:48:53 +0000 | euleritian | (~euleritia@176.2.74.187) |
| 2024-06-27 21:51:45 +0000 | <dibblego> | hmm, I'll use == and see if that works |
| 2024-06-27 21:52:12 +0000 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-06-27 21:55:10 +0000 | <dibblego> | hmm, I ued == and it worked, even though I was using >= before, and it was compatible |
| 2024-06-27 21:55:47 +0000 | <jackdk> | Did it change the versions of other libraries? |
| 2024-06-27 22:01:02 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-06-27 22:07:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-27 22:14:10 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-06-27 22:18:45 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2024-06-27 22:25:19 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e714dc25e45fde1d7555be75.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-06-27 22:28:17 +0000 | wbooze | (~wbooze@2a02:908:1244:9a20:e553:b055:93c0:74f3) |
| 2024-06-27 22:32:09 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2024-06-27 22:33:51 +0000 | Pozyomka | (~pyon@user/pyon) |
| 2024-06-27 22:34:14 +0000 | zzz | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-06-27 22:34:53 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-06-27 22:36:10 +0000 | euleritian | (~euleritia@176.2.74.187) (Ping timeout: 246 seconds) |
| 2024-06-27 22:36:41 +0000 | euleritian | (~euleritia@dynamic-176-001-215-001.176.1.pool.telefonica.de) |
| 2024-06-27 22:39:31 +0000 | wbooze | (~wbooze@2a02:908:1244:9a20:e553:b055:93c0:74f3) (Quit: Konversation terminated!) |
| 2024-06-27 22:40:58 +0000 | zzz | (~yin@user/zero) |
| 2024-06-27 22:46:17 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-06-27 22:46:17 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-06-27 22:46:17 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer) |
| 2024-06-27 22:46:57 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-06-27 22:46:57 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-06-27 22:47:00 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-06-27 22:48:47 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-06-27 22:51:37 +0000 | wbooze | (~wbooze@2a02:908:1244:9a20:318:df9:bae4:1644) |
| 2024-06-27 22:55:08 +0000 | euleritian | (~euleritia@dynamic-176-001-215-001.176.1.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-06-27 22:58:40 +0000 | euleritian | (~euleritia@dynamic-176-003-010-192.176.3.pool.telefonica.de) |
| 2024-06-27 23:10:27 +0000 | euleritian | (~euleritia@dynamic-176-003-010-192.176.3.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-06-27 23:10:50 +0000 | euleritian | (~euleritia@dynamic-176-001-135-200.176.1.pool.telefonica.de) |
| 2024-06-27 23:15:27 +0000 | euleritian | (~euleritia@dynamic-176-001-135-200.176.1.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-06-27 23:17:56 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-06-27 23:30:14 +0000 | euleritian | (~euleritia@dynamic-176-003-011-227.176.3.pool.telefonica.de) |
| 2024-06-27 23:36:12 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 2024-06-27 23:36:26 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-06-27 23:39:51 +0000 | euleritian | (~euleritia@dynamic-176-003-011-227.176.3.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2024-06-27 23:40:00 +0000 | euleritian | (~euleritia@dynamic-176-004-183-191.176.4.pool.telefonica.de) |
| 2024-06-27 23:40:46 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a4df:4a3a:94ab:11e4) (Ping timeout: 268 seconds) |
| 2024-06-27 23:53:06 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a4df:4a3a:94ab:11e4) |
| 2024-06-27 23:53:26 +0000 | euleritian | (~euleritia@dynamic-176-004-183-191.176.4.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-06-27 23:59:24 +0000 | joeyadams | (~joeyadams@2603:6010:5100:2ed:fbfc:6d96:4d1:519b) |