2023-01-01 00:10:32 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2023-01-01 00:11:14 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
2023-01-01 00:13:34 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
2023-01-01 00:15:11 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-01-01 00:16:45 +0100 | fizbin | (~fizbin@user/fizbin) |
2023-01-01 00:20:11 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
2023-01-01 00:25:49 +0100 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
2023-01-01 00:27:19 +0100 | freeside | (~mengwong@103.252.202.159) |
2023-01-01 00:27:49 +0100 | Everything | (~Everythin@46.185.124.170) |
2023-01-01 00:36:59 +0100 | Inst__ | (~Inst@2601:6c4:4081:54f0:d0af:c75:9422:ed4) |
2023-01-01 00:37:41 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2023-01-01 00:38:34 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2023-01-01 00:39:48 +0100 | foul_owl | (~kerry@157.97.134.157) (Ping timeout: 252 seconds) |
2023-01-01 00:40:37 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 00:41:31 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Remote host closed the connection) |
2023-01-01 00:42:17 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 00:42:23 +0100 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2023-01-01 00:46:01 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) (Remote host closed the connection) |
2023-01-01 00:47:45 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) |
2023-01-01 00:48:11 +0100 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 264 seconds) |
2023-01-01 00:52:23 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
2023-01-01 01:00:48 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
2023-01-01 01:11:05 +0100 | foul_owl | (~kerry@71.212.143.88) |
2023-01-01 01:12:03 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2023-01-01 01:13:54 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2023-01-01 01:19:29 +0100 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 260 seconds) |
2023-01-01 01:26:49 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2023-01-01 01:31:03 +0100 | cheater_ | (~Username@user/cheater) |
2023-01-01 01:31:06 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
2023-01-01 01:31:50 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
2023-01-01 01:31:58 +0100 | cheater_ | cheater |
2023-01-01 01:34:28 +0100 | Cerins | (~Cerins@balticom-142-106-43.balticom.lv) |
2023-01-01 01:34:37 +0100 | Cerins | (~Cerins@balticom-142-106-43.balticom.lv) (Read error: Connection reset by peer) |
2023-01-01 01:43:05 +0100 | Techcable | (~Techcable@user/Techcable) |
2023-01-01 01:44:20 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2023-01-01 01:44:40 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-01-01 01:44:40 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 268 seconds) |
2023-01-01 01:46:18 +0100 | Guest9971 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
2023-01-01 01:49:08 +0100 | fizbin | (~fizbin@user/fizbin) |
2023-01-01 01:51:10 +0100 | freeside | (~mengwong@103.252.202.159) |
2023-01-01 01:54:03 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-01-01 01:54:08 +0100 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
2023-01-01 01:55:34 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
2023-01-01 01:57:30 +0100 | freeside | (~mengwong@103.252.202.159) |
2023-01-01 01:58:24 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2023-01-01 02:01:56 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2023-01-01 02:03:18 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 02:04:24 +0100 | foul_owl | (~kerry@71.212.143.88) (Ping timeout: 268 seconds) |
2023-01-01 02:10:10 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-01-01 02:10:49 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
2023-01-01 02:16:18 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-01-01 02:16:52 +0100 | thongpv87 | (~thongpv87@14.246.240.163) |
2023-01-01 02:18:03 +0100 | foul_owl | (~kerry@157.97.134.156) |
2023-01-01 02:18:05 +0100 | thongpv | (~thongpv87@2402:9d80:3aa:567:9ad9:5c2:cc9b:b1e7) (Read error: Connection reset by peer) |
2023-01-01 02:18:35 +0100 | bjourne | (~bjorn@94.191.136.147.mobile.tre.se) |
2023-01-01 02:23:53 +0100 | acidjnk | (~acidjnk@p200300d6e7137a48bc74295aa0e75ce0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2023-01-01 02:24:56 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
2023-01-01 02:25:32 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
2023-01-01 02:26:25 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2023-01-01 02:27:43 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
2023-01-01 02:28:46 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2023-01-01 02:39:05 +0100 | cheater_ | (~Username@user/cheater) |
2023-01-01 02:41:24 +0100 | infinity0 | (~infinity0@pwned.gg) |
2023-01-01 02:42:21 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
2023-01-01 02:42:31 +0100 | cheater_ | cheater |
2023-01-01 02:47:42 +0100 | hyperbolic-dg | (~quassel@i577AA562.versanet.de) (Quit: https://quassel-irc.org - Komfortabler Chat. Überall.) |
2023-01-01 02:51:42 +0100 | Feuermagier_ | (~Feuermagi@216.24.213.221) |
2023-01-01 02:52:46 +0100 | notzmv- | (~zmv@user/notzmv) |
2023-01-01 02:53:57 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
2023-01-01 02:54:25 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 252 seconds) |
2023-01-01 02:58:45 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
2023-01-01 03:02:16 +0100 | Feuermagier_ | (~Feuermagi@216.24.213.221) (Quit: Leaving) |
2023-01-01 03:02:56 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
2023-01-01 03:04:07 +0100 | anpad | (~pandeyan@user/anpad) |
2023-01-01 03:12:13 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2023-01-01 03:13:07 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
2023-01-01 03:23:50 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
2023-01-01 03:29:59 +0100 | fizbin | (~fizbin@user/fizbin) |
2023-01-01 03:31:07 +0100 | bjourne | (~bjorn@94.191.136.147.mobile.tre.se) (Read error: Connection reset by peer) |
2023-01-01 03:34:00 +0100 | pavonia | (~user@user/siracusa) (Ping timeout: 260 seconds) |
2023-01-01 03:36:39 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 03:41:41 +0100 | freeside | (~mengwong@103.252.202.159) |
2023-01-01 03:44:38 +0100 | razetime | (~Thunderbi@49.207.194.134) |
2023-01-01 03:45:18 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
2023-01-01 03:45:41 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
2023-01-01 03:50:01 +0100 | notzmv- | (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
2023-01-01 03:57:23 +0100 | ddellacosta | (~ddellacos@143.244.47.81) |
2023-01-01 03:59:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-01-01 04:06:16 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) |
2023-01-01 04:06:18 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-01-01 04:06:18 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-01-01 04:06:18 +0100 | finn_elija | FinnElija |
2023-01-01 04:13:38 +0100 | thongpv | (~thongpv87@2001:ee0:54ae:c1f0:c977:9ea:511d:5547) |
2023-01-01 04:14:29 +0100 | thongpv87 | (~thongpv87@14.246.240.163) (Ping timeout: 260 seconds) |
2023-01-01 04:15:38 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-01-01 04:17:02 +0100 | td_ | (~td@83.135.9.29) (Ping timeout: 272 seconds) |
2023-01-01 04:18:23 +0100 | td_ | (~td@83.135.9.35) |
2023-01-01 04:20:11 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
2023-01-01 04:23:29 +0100 | thongpv87 | (~thongpv87@2402:9d80:36e:c201:e389:91d7:d0c7:46cd) |
2023-01-01 04:24:26 +0100 | thongpv | (~thongpv87@2001:ee0:54ae:c1f0:c977:9ea:511d:5547) (Ping timeout: 246 seconds) |
2023-01-01 04:26:30 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
2023-01-01 04:28:14 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2023-01-01 04:28:48 +0100 | notzmv | (~zmv@user/notzmv) |
2023-01-01 04:34:46 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds) |
2023-01-01 04:37:18 +0100 | shriekingnoise | (~shrieking@186.137.167.202) (Ping timeout: 272 seconds) |
2023-01-01 04:37:46 +0100 | Batzy | (~quassel@user/batzy) (Quit: No Ping reply in 180 seconds.) |
2023-01-01 04:39:06 +0100 | Batzy | (~quassel@user/batzy) |
2023-01-01 04:39:11 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-01-01 04:46:35 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 268 seconds) |
2023-01-01 04:52:45 +0100 | Batzy | (~quassel@user/batzy) (Ping timeout: 268 seconds) |
2023-01-01 04:52:53 +0100 | shriekingnoise | (~shrieking@186.137.167.202) |
2023-01-01 04:56:53 +0100 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
2023-01-01 04:58:49 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-01-01 04:59:09 +0100 | shriekingnoise_ | (~shrieking@186.137.167.202) |
2023-01-01 04:59:28 +0100 | shriekingnoise | (~shrieking@186.137.167.202) (Ping timeout: 272 seconds) |
2023-01-01 05:00:19 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
2023-01-01 05:00:35 +0100 | freeside | (~mengwong@103.252.202.159) |
2023-01-01 05:00:42 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2023-01-01 05:01:49 +0100 | shriekingnoise_ | (~shrieking@186.137.167.202) (Client Quit) |
2023-01-01 05:02:02 +0100 | tvandinther | (~tvandinth@114.23.205.77) |
2023-01-01 05:04:18 +0100 | <tvandinther> | Hi, quick question. With `CmdSpec` when I create a command with `ShellCommand $ unwords ["echo", "$PATH"]` it executes as expected by substituting the variable in the shell. But if I use `RawCommand $ "echo" ["$PATH"]` then it doesn't substitute producing the output `$PATH`. Any ideas why the behaviour is different? |
2023-01-01 05:05:01 +0100 | <tvandinther> | correction: `RawCommand "echo" ["$PATH"]` |
2023-01-01 05:08:32 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 05:18:11 +0100 | cheater_ | (~Username@user/cheater) |
2023-01-01 05:21:44 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
2023-01-01 05:21:47 +0100 | cheater_ | cheater |
2023-01-01 05:24:47 +0100 | tvandinther | (~tvandinth@114.23.205.77) (Quit: Client closed) |
2023-01-01 05:28:36 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
2023-01-01 05:32:08 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-01-01 05:33:49 +0100 | ddellacosta | (~ddellacos@143.244.47.81) (Ping timeout: 256 seconds) |
2023-01-01 05:36:00 +0100 | thongpv87 | (~thongpv87@2402:9d80:36e:c201:e389:91d7:d0c7:46cd) (Read error: Connection reset by peer) |
2023-01-01 05:46:38 +0100 | cheater_ | (~Username@user/cheater) |
2023-01-01 05:47:08 +0100 | <mauke> | because variable substitution is a feature of the shell |
2023-01-01 05:47:36 +0100 | <mauke> | if the shell is not involved, no variables are substituted |
2023-01-01 05:48:51 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
2023-01-01 05:48:53 +0100 | cheater_ | cheater |
2023-01-01 05:53:26 +0100 | Everything | (~Everythin@46.185.124.170) (Quit: leaving) |
2023-01-01 05:56:26 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2023-01-01 06:01:37 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2023-01-01 06:11:04 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-01-01 06:11:51 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 06:22:50 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2023-01-01 06:23:15 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2023-01-01 06:23:34 +0100 | EvanR | (~EvanR@user/evanr) |
2023-01-01 06:38:25 +0100 | thongpv87 | (~thongpv87@2402:9d80:3e6:e30e:71d8:158b:cc63:54b2) |
2023-01-01 06:40:14 +0100 | Kaipii | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 252 seconds) |
2023-01-01 06:52:59 +0100 | phma | (phma@2001:5b0:210d:5d58:7e43:94eb:5653:bb4c) (Read error: Connection reset by peer) |
2023-01-01 06:53:24 +0100 | phma | (~phma@host-67-44-208-169.hnremote.net) |
2023-01-01 07:08:25 +0100 | notzmv | (~zmv@user/notzmv) |
2023-01-01 07:17:43 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2023-01-01 07:21:48 +0100 | phma | (~phma@host-67-44-208-169.hnremote.net) (Read error: Connection reset by peer) |
2023-01-01 07:22:12 +0100 | phma | (phma@2001:5b0:210d:5d58:a230:d09d:db84:7685) |
2023-01-01 07:25:49 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 260 seconds) |
2023-01-01 07:37:24 +0100 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 268 seconds) |
2023-01-01 07:38:51 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 07:39:01 +0100 | johnjaye | (~pi@173.209.64.74) |
2023-01-01 07:40:26 +0100 | phma | (phma@2001:5b0:210d:5d58:a230:d09d:db84:7685) (Read error: Connection reset by peer) |
2023-01-01 07:41:15 +0100 | phma | (~phma@host-67-44-208-104.hnremote.net) |
2023-01-01 07:43:19 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
2023-01-01 07:45:46 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 07:53:35 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Ping timeout: 264 seconds) |
2023-01-01 07:54:40 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-01-01 08:07:49 +0100 | johnw | (~johnw@2600:1700:cf00:db0:348e:4fdc:de3c:af1c) |
2023-01-01 08:08:09 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 08:08:23 +0100 | jwiegley | (~jwiegley@2600:1700:cf00:db0:348e:4fdc:de3c:af1c) |
2023-01-01 08:08:34 +0100 | thongpv87 | (~thongpv87@2402:9d80:3e6:e30e:71d8:158b:cc63:54b2) (Read error: Connection reset by peer) |
2023-01-01 08:13:16 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
2023-01-01 08:24:02 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
2023-01-01 08:26:11 +0100 | cheater_ | (~Username@user/cheater) |
2023-01-01 08:26:40 +0100 | freeside | (~mengwong@103.252.202.159) |
2023-01-01 08:27:42 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 08:29:29 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
2023-01-01 08:29:36 +0100 | cheater_ | cheater |
2023-01-01 08:31:38 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
2023-01-01 08:33:31 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
2023-01-01 08:44:38 +0100 | freeside | (~mengwong@103.252.202.159) |
2023-01-01 08:52:21 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) |
2023-01-01 08:52:52 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 09:21:47 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
2023-01-01 09:21:51 +0100 | kenran | (~user@user/kenran) |
2023-01-01 09:22:24 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
2023-01-01 09:43:02 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 09:48:16 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
2023-01-01 09:55:05 +0100 | freeside | (~mengwong@103.252.202.159) |
2023-01-01 10:04:59 +0100 | mei | (~mei@user/mei) (Ping timeout: 264 seconds) |
2023-01-01 10:05:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-01-01 10:25:39 +0100 | benali | (~nasser@131.170.239.11) |
2023-01-01 10:26:21 +0100 | razetime | (~Thunderbi@49.207.194.134) (Remote host closed the connection) |
2023-01-01 10:27:56 +0100 | <benali> | hey, which one should I use stack or cabal? |
2023-01-01 10:28:37 +0100 | <Jadesheit[m]> | try both, see what you like better |
2023-01-01 10:28:52 +0100 | <sclv> | i recommend cabal |
2023-01-01 10:31:05 +0100 | <benali> | I had bad experience with stack in the past :( |
2023-01-01 10:32:45 +0100 | cheater_ | (~Username@user/cheater) |
2023-01-01 10:35:26 +0100 | mei | (~mei@user/mei) |
2023-01-01 10:35:32 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
2023-01-01 10:35:40 +0100 | cheater_ | cheater |
2023-01-01 10:37:41 +0100 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
2023-01-01 10:42:05 +0100 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
2023-01-01 10:43:52 +0100 | <Jadesheit[m]> | me too which is why I use cabal nowadays |
2023-01-01 10:43:55 +0100 | biberu | (~biberu@user/biberu) (Ping timeout: 260 seconds) |
2023-01-01 10:45:04 +0100 | acidjnk | (~acidjnk@p200300d6e7137a48bc74295aa0e75ce0.dip0.t-ipconnect.de) |
2023-01-01 10:47:32 +0100 | <maerwald> | benali: cabal |
2023-01-01 10:47:53 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
2023-01-01 10:56:05 +0100 | thongpv87 | (~thongpv87@2402:9d80:3e6:e30e:d1ec:9bf2:ae21:f5c4) |
2023-01-01 10:56:17 +0100 | biberu | (~biberu@user/biberu) |
2023-01-01 11:01:41 +0100 | benali | (~nasser@131.170.239.11) (Ping timeout: 246 seconds) |
2023-01-01 11:03:50 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2023-01-01 11:06:14 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-01-01 11:10:09 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2023-01-01 11:13:41 +0100 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2023-01-01 11:16:44 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 11:19:00 +0100 | Kaipii | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2023-01-01 11:20:56 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
2023-01-01 11:25:59 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
2023-01-01 11:26:46 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2023-01-01 11:31:31 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 11:32:20 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2023-01-01 11:32:53 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2023-01-01 11:33:05 +0100 | benali | (~nasser@n122-104-57-199.sun4.vic.optusnet.com.au) |
2023-01-01 11:35:26 +0100 | v0id_ptr | (~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 268 seconds) |
2023-01-01 11:40:47 +0100 | gurkenglas | (~gurkengla@84.138.199.46) |
2023-01-01 11:44:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-01-01 11:44:49 +0100 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) |
2023-01-01 11:50:28 +0100 | <eldritchcookie[4> | personally i use cabal with hpack |
2023-01-01 11:55:35 +0100 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
2023-01-01 12:06:55 +0100 | sooch_ | (sid533113@id-533113.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-01-01 12:09:30 +0100 | gurkenglas | (~gurkengla@84.138.199.46) (Ping timeout: 272 seconds) |
2023-01-01 12:11:34 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b011:11:9945:c47d) (Remote host closed the connection) |
2023-01-01 12:21:31 +0100 | benali | (~nasser@n122-104-57-199.sun4.vic.optusnet.com.au) (Quit: Lost terminal) |
2023-01-01 12:28:41 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
2023-01-01 12:35:34 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
2023-01-01 12:35:35 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2023-01-01 12:40:49 +0100 | igghibu | (~igghibu@37.120.201.86) |
2023-01-01 12:49:43 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2023-01-01 12:52:25 +0100 | <eldritchcookie[4> | i am trying to define my own library for parameterised Monads/Applicatives and i have two functions that assume Applicative (f q r) and just lift a value via the f q r instance's pure and then discard it to manipulate the q r one changes q and the other r, i then created 2 more general version that take a lifter and a Paramterized applicative value and manipulate q and r |
2023-01-01 12:53:55 +0100 | <eldritchcookie[4> | the second couple needs rankNtypes as i need to pass a dummy value to (liftPA2 const) but i could use undefined and use normal rank 1 types how can i be sure that i won't create a runtime error |
2023-01-01 12:57:10 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
2023-01-01 12:58:40 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
2023-01-01 13:01:29 +0100 | razetime | (~Thunderbi@49.207.194.134) |
2023-01-01 13:01:41 +0100 | dextaa2 | (~DV@user/dextaa) |
2023-01-01 13:04:04 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
2023-01-01 13:04:14 +0100 | dextaa | (~DV@user/dextaa) (Ping timeout: 268 seconds) |
2023-01-01 13:04:14 +0100 | dextaa2 | dextaa |
2023-01-01 13:05:54 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 13:08:31 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2023-01-01 13:10:05 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2023-01-01 13:12:03 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bccb:1151:f053:cd4c) |
2023-01-01 13:17:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bccb:1151:f053:cd4c) (Ping timeout: 255 seconds) |
2023-01-01 13:29:14 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds) |
2023-01-01 13:39:06 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
2023-01-01 13:40:04 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 13:47:07 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) |
2023-01-01 13:51:45 +0100 | Guest51 | (~Guest51@176.122.105.141) |
2023-01-01 13:52:22 +0100 | Guest51 | (~Guest51@176.122.105.141) (Client Quit) |
2023-01-01 13:55:31 +0100 | <lyxia> | eldritchcookie[4: it's hard to understand the problem but do you know about Proxy |
2023-01-01 13:57:39 +0100 | <eldritchcookie[4> | yes but i forgot to consider that option thank you |
2023-01-01 14:28:20 +0100 | Luj3 | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (Quit: The Lounge - https://thelounge.chat) |
2023-01-01 14:30:38 +0100 | Luj3 | (~Luj@2a01:e0a:5f9:9681:1f96:43ea:7d95:a240) |
2023-01-01 14:34:44 +0100 | Luj3 | (~Luj@2a01:e0a:5f9:9681:1f96:43ea:7d95:a240) (Client Quit) |
2023-01-01 14:39:07 +0100 | Luj3 | (~Luj@2a01:e0a:5f9:9681:b50a:fe5:ba94:4ae) |
2023-01-01 14:42:24 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2023-01-01 14:48:05 +0100 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) (Quit: Leaving.) |
2023-01-01 14:54:46 +0100 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2023-01-01 14:56:32 +0100 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) (Ping timeout: 246 seconds) |
2023-01-01 15:01:37 +0100 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) |
2023-01-01 15:06:19 +0100 | razetime | (~Thunderbi@49.207.194.134) (Ping timeout: 252 seconds) |
2023-01-01 15:12:05 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 15:16:13 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2023-01-01 15:21:04 +0100 | bgt32 | (~keutoi@223.182.38.84) |
2023-01-01 15:22:20 +0100 | AlexNoo_ | (~AlexNoo@178.34.150.228) |
2023-01-01 15:24:07 +0100 | <eldritchcookie[4> | wait proxy can have any type right? |
2023-01-01 15:24:23 +0100 | AlexZenon | (~alzenon@178.34.150.35) (Ping timeout: 260 seconds) |
2023-01-01 15:24:34 +0100 | Alex_test | (~al_test@178.34.150.35) (Ping timeout: 272 seconds) |
2023-01-01 15:24:58 +0100 | <eldritchcookie[4> | (*>) (<*) both change the parameterized applicative type but require a value that they discard |
2023-01-01 15:25:05 +0100 | <eldritchcookie[4> | i can just use proxy |
2023-01-01 15:25:32 +0100 | AlexNoo | (~AlexNoo@178.34.150.35) (Ping timeout: 246 seconds) |
2023-01-01 15:28:39 +0100 | <eldritchcookie[4> | s/*>/\*\>/, s/<*/\<\*/ |
2023-01-01 15:29:42 +0100 | ulvarrefr | (~user@188.124.56.153) |
2023-01-01 15:30:02 +0100 | <eldritchcookie[4> | nvm i can't |
2023-01-01 15:30:40 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-01-01 15:32:24 +0100 | Alex_test | (~al_test@178.34.150.228) |
2023-01-01 15:34:56 +0100 | AlexZenon | (~alzenon@178.34.150.228) |
2023-01-01 15:40:01 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
2023-01-01 15:42:37 +0100 | <eldritchcookie[4> | parameterized applicatives are like applicatives but can have changing type for instance i have a definition of liftPA2::(a -> b -> c) -> f p q a -> f q r b -> f p r c |
2023-01-01 15:42:37 +0100 | <eldritchcookie[4> | how likely is doing (undefined *> f p q a) to throw an exception ? |
2023-01-01 15:45:45 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-01-01 15:45:45 +0100 | Vajb | (~Vajb@2001:999:405:5eb2:8d39:b832:a9ee:9bdf) (Read error: Connection reset by peer) |
2023-01-01 15:46:09 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 15:46:19 +0100 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
2023-01-01 15:46:38 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
2023-01-01 15:46:50 +0100 | <eldritchcookie[4> | the default implementation is discarded *> kept = liftPA2 (\_ y -> y) discarded kept |
2023-01-01 15:47:15 +0100 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
2023-01-01 15:48:51 +0100 | bgt32 | (~keutoi@223.182.38.84) (Ping timeout: 252 seconds) |
2023-01-01 15:52:43 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
2023-01-01 15:52:56 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
2023-01-01 15:53:12 +0100 | cheater_ | (~Username@user/cheater) |
2023-01-01 15:53:59 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
2023-01-01 15:54:07 +0100 | cheater_ | cheater |
2023-01-01 16:00:19 +0100 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2023-01-01 16:00:46 +0100 | jinsun | (~jinsun@user/jinsun) |
2023-01-01 16:01:50 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
2023-01-01 16:04:20 +0100 | hyperbolic-dg | (~quassel@i577AA562.versanet.de) |
2023-01-01 16:05:55 +0100 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
2023-01-01 16:06:40 +0100 | cheater | (~Username@user/cheater) |
2023-01-01 16:09:18 +0100 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
2023-01-01 16:10:18 +0100 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
2023-01-01 16:11:44 +0100 | AlexNoo_ | AlexNoo |
2023-01-01 16:11:55 +0100 | cheater_ | (~Username@user/cheater) |
2023-01-01 16:13:09 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
2023-01-01 16:13:11 +0100 | cheater_ | cheater |
2023-01-01 16:16:23 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2023-01-01 16:18:30 +0100 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) |
2023-01-01 16:19:48 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
2023-01-01 16:20:00 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
2023-01-01 16:20:00 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Client Quit) |
2023-01-01 16:20:05 +0100 | jinsun | (~jinsun@user/jinsun) |
2023-01-01 16:20:34 +0100 | razetime | (~Thunderbi@49.207.194.134) |
2023-01-01 16:21:44 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
2023-01-01 16:31:15 +0100 | cheater_ | (~Username@user/cheater) |
2023-01-01 16:32:59 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
2023-01-01 16:34:38 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2023-01-01 16:34:43 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
2023-01-01 16:34:50 +0100 | cheater_ | cheater |
2023-01-01 16:35:43 +0100 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) (Remote host closed the connection) |
2023-01-01 16:36:52 +0100 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) |
2023-01-01 16:39:20 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
2023-01-01 16:39:37 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
2023-01-01 16:43:09 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Client Quit) |
2023-01-01 16:43:29 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
2023-01-01 16:49:26 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
2023-01-01 16:55:44 +0100 | nft_slut | (~user@50-110-204-205.mrbg.wv.frontiernet.net) |
2023-01-01 17:05:43 +0100 | coot | (~coot@213.134.171.3) |
2023-01-01 17:06:05 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
2023-01-01 17:06:18 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
2023-01-01 17:07:24 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
2023-01-01 17:07:54 +0100 | raym | (~ray@user/raym) (Quit: leaving) |
2023-01-01 17:07:56 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
2023-01-01 17:08:47 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2023-01-01 17:09:09 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2023-01-01 17:12:50 +0100 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2023-01-01 17:13:15 +0100 | raym | (~ray@user/raym) |
2023-01-01 17:17:21 +0100 | bjourne | (~bjorn@94.191.136.147.mobile.tre.se) |
2023-01-01 17:19:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
2023-01-01 17:22:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-01-01 17:24:06 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2023-01-01 17:24:23 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 17:24:36 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2023-01-01 17:31:07 +0100 | acidjnk | (~acidjnk@p200300d6e7137a48bc74295aa0e75ce0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2023-01-01 17:36:36 +0100 | sh1n | (~sh1n@181.229.121.151) |
2023-01-01 17:37:45 +0100 | cheater_ | (~Username@user/cheater) |
2023-01-01 17:37:52 +0100 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) (Quit: WeeChat 3.7.1) |
2023-01-01 17:40:52 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
2023-01-01 17:41:01 +0100 | cheater_ | cheater |
2023-01-01 17:41:41 +0100 | __monty__ | (~toonn@user/toonn) |
2023-01-01 17:44:22 +0100 | coot | (~coot@213.134.171.3) (Quit: coot) |
2023-01-01 17:45:28 +0100 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-01-01 17:47:07 +0100 | dolio | (~dolio@130.44.134.54) |
2023-01-01 17:50:20 +0100 | dolio | (~dolio@130.44.134.54) (Client Quit) |
2023-01-01 17:51:40 +0100 | dolio | (~dolio@130.44.134.54) |
2023-01-01 17:51:48 +0100 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2023-01-01 17:58:28 +0100 | razetime | (~Thunderbi@49.207.194.134) (Remote host closed the connection) |
2023-01-01 17:58:34 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bccb:1151:f053:cd4c) |
2023-01-01 18:02:05 +0100 | icebreaker | (~icebreake@user/icebreaker) |
2023-01-01 18:02:30 +0100 | icebreaker | (~icebreake@user/icebreaker) () |
2023-01-01 18:06:24 +0100 | Kaipii | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 268 seconds) |
2023-01-01 18:06:28 +0100 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
2023-01-01 18:06:57 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2023-01-01 18:07:23 +0100 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds) |
2023-01-01 18:08:39 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2023-01-01 18:09:39 +0100 | Kaipii | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2023-01-01 18:18:58 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
2023-01-01 18:26:50 +0100 | <eldritchcookie[4> | just so i don't waste my time is there any library which has a useful function that accepts 2 different callbacks in the same function? i mean something of the form (a -> m b) -> (c -> m d) -> m e |
2023-01-01 18:30:19 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
2023-01-01 18:32:17 +0100 | freeside | (~mengwong@103.252.202.159) |
2023-01-01 18:32:21 +0100 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) (Quit: Leaving.) |
2023-01-01 18:34:43 +0100 | <ncf> | what should it do with the callbacks? |
2023-01-01 18:35:48 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 18:36:21 +0100 | <eldritchcookie[4> | anything, as long as it calls them, i am turning functions of type f ->(a ->b -> m c) -> m d into f -> ContT m d c (a,b) |
2023-01-01 18:37:52 +0100 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2023-01-01 18:39:43 +0100 | stef204 | (~stef204@user/stef204) |
2023-01-01 18:41:13 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bccb:1151:f053:cd4c) (Remote host closed the connection) |
2023-01-01 18:42:15 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2023-01-01 18:43:34 +0100 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.5) |
2023-01-01 18:47:48 +0100 | <eldritchcookie[4> | basically i have a parameterized monad version of contT and want to use it to invert control when the types are different |
2023-01-01 18:50:57 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 265 seconds) |
2023-01-01 18:51:54 +0100 | econo | (uid147250@user/econo) |
2023-01-01 18:52:58 +0100 | cheater_ | (~Username@user/cheater) |
2023-01-01 18:56:13 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
2023-01-01 18:56:15 +0100 | cheater_ | cheater |
2023-01-01 18:58:50 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2023-01-01 18:59:33 +0100 | cheater_ | (~Username@user/cheater) |
2023-01-01 19:02:35 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
2023-01-01 19:02:51 +0100 | cheater_ | cheater |
2023-01-01 19:03:04 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
2023-01-01 19:05:44 +0100 | freeside | (~mengwong@103.252.202.159) |
2023-01-01 19:08:45 +0100 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:2936:808f:4be4:4fc1) |
2023-01-01 19:10:44 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-01-01 19:10:44 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-01-01 19:10:44 +0100 | wroathe | (~wroathe@user/wroathe) |
2023-01-01 19:12:10 +0100 | cheater_ | (~Username@user/cheater) |
2023-01-01 19:12:16 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
2023-01-01 19:12:24 +0100 | cheater_ | cheater |
2023-01-01 19:13:50 +0100 | Kaipii | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 272 seconds) |
2023-01-01 19:15:40 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
2023-01-01 19:16:46 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-01-01 19:17:07 +0100 | zer0bitz_ | (~zer0bitz@196.244.192.54) () |
2023-01-01 19:19:53 +0100 | zer0bitz | (~zer0bitz@196.244.192.58) |
2023-01-01 19:20:15 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-01-01 19:20:20 +0100 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) |
2023-01-01 19:20:52 +0100 | <Profpatsch> | In the new random 1.2, what’s the easiest way to generate a list of characters between a–zA–Z0–9 |
2023-01-01 19:21:10 +0100 | califax | (~califax@user/califx) |
2023-01-01 19:21:26 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 246 seconds) |
2023-01-01 19:24:36 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
2023-01-01 19:26:43 +0100 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
2023-01-01 19:28:53 +0100 | <eldritchcookie[4> | is there a recommended heterogeneous list GADT? |
2023-01-01 19:29:52 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
2023-01-01 19:30:35 +0100 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2023-01-01 19:30:47 +0100 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) |
2023-01-01 19:31:57 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.7.1) |
2023-01-01 19:34:14 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
2023-01-01 19:36:44 +0100 | freeside | (~mengwong@103.252.202.159) |
2023-01-01 19:37:15 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2023-01-01 19:37:37 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-01-01 19:40:26 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
2023-01-01 19:44:13 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2023-01-01 19:48:09 +0100 | Guest4496 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
2023-01-01 19:49:00 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Remote host closed the connection) |
2023-01-01 19:54:51 +0100 | cheater | (~Username@user/cheater) |
2023-01-01 19:56:29 +0100 | <monochrom> | Profpatsch: You can still use randomRs (0, 61) and map 0-61 to a-zA-Z0-9. |
2023-01-01 19:56:49 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
2023-01-01 20:00:01 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
2023-01-01 20:02:22 +0100 | cheater | (~Username@user/cheater) |
2023-01-01 20:05:43 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 20:08:59 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2023-01-01 20:09:00 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
2023-01-01 20:09:00 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-01-01 20:09:21 +0100 | califax | (~califax@user/califx) |
2023-01-01 20:09:42 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-01-01 20:10:04 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2023-01-01 20:10:17 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2023-01-01 20:15:18 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2023-01-01 20:17:13 +0100 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
2023-01-01 20:19:25 +0100 | Guest9971 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2023-01-01 20:20:29 +0100 | ddellacosta | (~ddellacos@143.244.47.100) |
2023-01-01 20:21:39 +0100 | <Profpatsch> | monochrom: yeah I did something like that, thanks |
2023-01-01 20:22:07 +0100 | Feuermagier_ | (~Feuermagi@213.149.82.60) |
2023-01-01 20:22:14 +0100 | <Profpatsch> | create a list of all things I wanted, then create a list of random indexes & index into the list of chars |
2023-01-01 20:22:29 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2023-01-01 20:22:33 +0100 | <[exa]> | eldritchcookie[4: depends on how much heterogeneity you want; existentias are generally the way to go (haskell wiki should have some related reading material) |
2023-01-01 20:22:46 +0100 | <[exa]> | *existentiaLs |
2023-01-01 20:24:00 +0100 | <[exa]> | eldritchcookie[4: anyway re the "2 callbacks", that's a pretty common pattern, even the standard `bracket` is kinda like 2 callbacks (one without parameters tho) |
2023-01-01 20:24:01 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2023-01-01 20:24:37 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 256 seconds) |
2023-01-01 20:25:09 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 20:25:22 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2023-01-01 20:25:42 +0100 | pwug | (~pwug@user/pwug) |
2023-01-01 20:26:30 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-01-01 20:33:23 +0100 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 252 seconds) |
2023-01-01 20:35:14 +0100 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
2023-01-01 20:35:49 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2023-01-01 20:38:48 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
2023-01-01 20:40:56 +0100 | <eldritchcookie[4> | i don't want to deal with existential types as i don't want to lose type information. guess i will define my own GADT and then whenever ghc starts shipping with a Heterogeneous list use that |
2023-01-01 20:42:07 +0100 | Vajb | (~Vajb@2001:999:405:5eb2:8d39:b832:a9ee:9bdf) |
2023-01-01 20:44:37 +0100 | <geekosaur> | um. ghc usually goes for shipping less with instead of more, because anything shipped with ghc is effectively frozen and can only be upgraded by upgrading ghc |
2023-01-01 20:45:01 +0100 | <geekosaur> | so waiting for something to be shipped with ghc is literally a losing proposition |
2023-01-01 20:45:57 +0100 | <[exa]> | eldritchcookie[4: btw how would you avoid losing the type information? unless you store say complete type representations you can't have that easily; and type representations can be stored by making an existential that just packs some Generic-ish interface |
2023-01-01 20:46:59 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2023-01-01 20:48:45 +0100 | <davean> | Yah I'm really curious what he things it looks like to work with a hetreogenious list without losing type information' |
2023-01-01 20:53:17 +0100 | fizbin | (~fizbin@user/fizbin) |
2023-01-01 20:53:32 +0100 | <EvanR> | heterolist as such usually keeps type information |
2023-01-01 20:53:51 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2023-01-01 20:54:03 +0100 | <EvanR> | by having the type of everything in the list in the type |
2023-01-01 20:56:16 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:2cad:c119:e762:dbc6) |
2023-01-01 20:58:14 +0100 | <EvanR> | a basic list of existential-like type (all the same) is something else |
2023-01-01 21:03:57 +0100 | <davean> | I mean ok if thats what he means theres like vynl |
2023-01-01 21:04:09 +0100 | <davean> | but I wouldn't actually call that a hetrolist |
2023-01-01 21:04:36 +0100 | <davean> | (Its distinctly finite) |
2023-01-01 21:06:01 +0100 | _leo92_ | (~emmanuelu@user/emmanuelux) |
2023-01-01 21:08:35 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds) |
2023-01-01 21:12:54 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2023-01-01 21:17:58 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2023-01-01 21:21:29 +0100 | acidjnk | (~acidjnk@p200300d6e7137a5704a0ab7705fb9928.dip0.t-ipconnect.de) |
2023-01-01 21:21:47 +0100 | _leo92_ | (~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds) |
2023-01-01 21:22:20 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2023-01-01 21:24:42 +0100 | pwug | (~pwug@user/pwug) (Remote host closed the connection) |
2023-01-01 21:25:42 +0100 | <EvanR> | yeah extensible records without the field names is basically a heterolist |
2023-01-01 21:25:49 +0100 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 256 seconds) |
2023-01-01 21:26:26 +0100 | <EvanR> | as far as infinite vs finite, your boring old list is actually finite in Idris |
2023-01-01 21:26:30 +0100 | <davean> | hetrosequence I'd agree on, the potentially non-finiteness is personally important to me about lists. |
2023-01-01 21:26:38 +0100 | titibandit | (~titibandi@xdsl-89-0-163-79.nc.de) (Remote host closed the connection) |
2023-01-01 21:26:42 +0100 | <davean> | Yah, thus Idris lacks lists to me :-p |
2023-01-01 21:26:44 +0100 | <EvanR> | there's a separate type for potentially infinite list |
2023-01-01 21:27:12 +0100 | <davean> | I don't know that I'm right, but thats a core destinction for a list vs. other sequence to me |
2023-01-01 21:27:37 +0100 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 252 seconds) |
2023-01-01 21:28:15 +0100 | <EvanR> | on andre bauers blog somewhere he calls a mapping from some finite set a listing |
2023-01-01 21:29:47 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
2023-01-01 21:31:10 +0100 | pwug | (~pwug@user/pwug) |
2023-01-01 21:31:29 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2023-01-01 21:33:01 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2023-01-01 21:34:10 +0100 | <dolio> | Being potentially infinite is definitely not an essential characteristic of lists, generally. |
2023-01-01 21:35:12 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 21:35:23 +0100 | <dolio> | It's handy in Haskell, though. |
2023-01-01 21:37:26 +0100 | <davean> | dolio: See, I'd qualify all those other ones as different sorts of sequences |
2023-01-01 21:37:35 +0100 | <davean> | I think there are a lot of types of sequences |
2023-01-01 21:38:10 +0100 | Techcable | (~Techcable@user/Techcable) |
2023-01-01 21:41:15 +0100 | Feuermagier_ | (~Feuermagi@213.149.82.60) (Quit: Leaving) |
2023-01-01 21:43:18 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
2023-01-01 21:45:41 +0100 | <dolio> | I suppose one could argue over whether the inductive definition actually matches historical notions of 'list,' since you can make circular lists with mutation. |
2023-01-01 21:45:51 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2023-01-01 21:46:20 +0100 | <dolio> | Which are kind of infinite, although they don't cover all possible infinite values. |
2023-01-01 21:49:28 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2023-01-01 21:49:28 +0100 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
2023-01-01 21:49:34 +0100 | nckx | (~nckx@tobias.gr) (Quit: Updating my Guix System <https://guix.gnu.org>) |
2023-01-01 21:50:04 +0100 | nckx | (~nckx@tobias.gr) |
2023-01-01 21:53:20 +0100 | sympt | (~sympt@user/sympt) (Ping timeout: 268 seconds) |
2023-01-01 21:55:35 +0100 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
2023-01-01 21:56:19 +0100 | freeside | (~mengwong@103.252.202.159) |
2023-01-01 21:59:34 +0100 | cheater_ | (~Username@user/cheater) |
2023-01-01 22:01:08 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2023-01-01 22:01:51 +0100 | cheater__ | (~Username@user/cheater) |
2023-01-01 22:02:12 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
2023-01-01 22:02:15 +0100 | cheater__ | cheater |
2023-01-01 22:02:39 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 256 seconds) |
2023-01-01 22:03:29 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
2023-01-01 22:05:14 +0100 | cheater_ | (~Username@user/cheater) (Ping timeout: 246 seconds) |
2023-01-01 22:05:43 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:2cad:c119:e762:dbc6) (Ping timeout: 260 seconds) |
2023-01-01 22:15:44 +0100 | freeside | (~mengwong@103.252.202.159) |
2023-01-01 22:26:14 +0100 | pwug | (~pwug@user/pwug) (Quit: Leaving) |
2023-01-01 22:27:13 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2023-01-01 22:31:44 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2023-01-01 22:33:19 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2023-01-01 22:33:25 +0100 | Guest9971 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
2023-01-01 22:42:15 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
2023-01-01 22:43:37 +0100 | morb | (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
2023-01-01 22:45:08 +0100 | Guest9971 | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2023-01-01 22:47:12 +0100 | sympt | (~sympt@user/sympt) |
2023-01-01 22:47:44 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
2023-01-01 22:48:33 +0100 | <igghibu> | hi all, happy new year :) I'm learning haskell with G Hutton book and I'm having difficulties with this list comprehension exercise: https://paste.tomsmeding.com/ClOaunRr -- the question is in the paste. help and pointers appreciated <3 |
2023-01-01 22:52:04 +0100 | <c_wraith> | igghibu: use pattern matching |
2023-01-01 22:52:04 +0100 | <igghibu> | afplay /System/Library/PrivateFrameworks/ScreenReader.framework/Versions/A/Resources/Sounds/LayoutChanged.aiff |
2023-01-01 22:52:08 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-01-01 22:52:18 +0100 | <stefan-_> | igghibu, (x, y) <- grid n n |
2023-01-01 22:52:18 +0100 | <igghibu> | afplay /System/Library/PrivateFrameworks/ScreenReader.framework/Versions/A/Resources/Sounds/LayoutChanged.aiff |
2023-01-01 22:54:12 +0100 | <geekosaur> | igghibu, I think you have a misconfigured client, it's sending a play command to the channel instead of running it |
2023-01-01 22:54:13 +0100 | <igghibu> | afplay /System/Library/PrivateFrameworks/ScreenReader.framework/Versions/A/Resources/Sounds/LayoutChanged.aiff |
2023-01-01 22:54:24 +0100 | <igghibu> | sorry |
2023-01-01 22:54:27 +0100 | <igghibu> | will fix |
2023-01-01 22:54:30 +0100 | <igghibu> | now |
2023-01-01 22:55:38 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2023-01-01 22:56:10 +0100 | acidjnk | (~acidjnk@p200300d6e7137a5704a0ab7705fb9928.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2023-01-01 22:57:10 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
2023-01-01 22:58:45 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2023-01-01 22:59:23 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
2023-01-01 22:59:36 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-01-01 23:00:01 +0100 | bjourne | (~bjorn@94.191.136.147.mobile.tre.se) (Quit: Konversation terminated!) |
2023-01-01 23:02:50 +0100 | <igghibu> | stefan-_: test? |
2023-01-01 23:03:04 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2023-01-01 23:03:16 +0100 | <stefan-_> | igghibu, test |
2023-01-01 23:03:27 +0100 | <igghibu> | yay! |
2023-01-01 23:03:28 +0100 | <stefan-_> | :) |
2023-01-01 23:05:12 +0100 | jwiegley | (~jwiegley@2600:1700:cf00:db0:348e:4fdc:de3c:af1c) (Quit: ZNC - http://znc.in) |
2023-01-01 23:05:12 +0100 | johnw | (~johnw@2600:1700:cf00:db0:348e:4fdc:de3c:af1c) (Quit: ZNC - http://znc.in) |
2023-01-01 23:05:15 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1) |
2023-01-01 23:07:08 +0100 | <dsal> | @check \x -> x == 1 |
2023-01-01 23:07:10 +0100 | <lambdabot> | *** Failed! Falsifiable (after 1 test): |
2023-01-01 23:07:10 +0100 | <lambdabot> | 0 |
2023-01-01 23:07:15 +0100 | <dsal> | oh no. My test failed. |
2023-01-01 23:07:17 +0100 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
2023-01-01 23:13:44 +0100 | <hololeap> | lambdabot does quickcheck? |
2023-01-01 23:14:03 +0100 | <hololeap> | that's awesome |
2023-01-01 23:14:55 +0100 | <dsal> | I think it has smallcheck, too. |
2023-01-01 23:16:18 +0100 | <geekosaur> | I thought it did but didn't see it anywhere when writing the docs |
2023-01-01 23:16:29 +0100 | <geekosaur> | wonder if that plugin got removed |
2023-01-01 23:16:36 +0100 | acidjnk | (~acidjnk@p200300d6e7137a577d241e14a75b8650.dip0.t-ipconnect.de) |
2023-01-01 23:16:42 +0100 | <geekosaur> | @scheck |
2023-01-01 23:16:42 +0100 | <lambdabot> | <unknown>.hs:1:1:Parse error: EOF |
2023-01-01 23:16:51 +0100 | <geekosaur> | @small |
2023-01-01 23:16:51 +0100 | <lambdabot> | Maybe you meant: spell smack |
2023-01-01 23:17:21 +0100 | <eldritchcookie[4> | i am having problems with GADTs i am confused onj how to write a proof term that a certain type is a function with n arguments |
2023-01-01 23:17:27 +0100 | <eldritchcookie[4> | s/onj/on/ |
2023-01-01 23:18:18 +0100 | freeside | (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
2023-01-01 23:20:02 +0100 | <igghibu> | good night all |
2023-01-01 23:20:04 +0100 | igghibu | (~igghibu@37.120.201.86) (Quit: igghibu) |
2023-01-01 23:20:25 +0100 | <eldritchcookie[4> | good night |
2023-01-01 23:24:10 +0100 | mizlan | (~mizlan@c-67-169-7-31.hsd1.ca.comcast.net) |
2023-01-01 23:25:58 +0100 | freeside | (~mengwong@103.252.202.159) |
2023-01-01 23:26:18 +0100 | sh1n | (~sh1n@181.229.121.151) (Quit: leaving) |
2023-01-01 23:26:30 +0100 | sympt | (~sympt@user/sympt) (Quit: Ping timeout (120 seconds)) |
2023-01-01 23:27:17 +0100 | <dsal> | @scheck \x -> x == True |
2023-01-01 23:27:19 +0100 | <lambdabot> | *** Failed! Falsifiable (after 1 test): |
2023-01-01 23:27:19 +0100 | <lambdabot> | False |
2023-01-01 23:27:27 +0100 | sympt | (~sympt@user/sympt) |
2023-01-01 23:27:30 +0100 | <dsal> | @spell smack |
2023-01-01 23:27:30 +0100 | <lambdabot> | smack |
2023-01-01 23:27:33 +0100 | <dsal> | nice |
2023-01-01 23:40:19 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
2023-01-01 23:40:34 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
2023-01-01 23:50:28 +0100 | cheater | (~Username@user/cheater) |
2023-01-01 23:57:12 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:4bae:6245:cbff:fe9f:48b1) (Quit: Leaving) |