Logs: freenode/#haskell
| 2021-05-17 15:07:15 | <qwerty2o> | didnt think about elem lol |
| 2021-05-17 15:08:56 | × | ddellac__ quits (~ddellacos@86.106.143.217) (Ping timeout: 260 seconds) |
| 2021-05-17 15:09:04 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 252 seconds) |
| 2021-05-17 15:09:08 | → | fendor_ joins (~fendor@213142096253.public.telering.at) |
| 2021-05-17 15:09:18 | <[exa]> | qwerty2o: overly applicative solution: `liftA2 (||) (==del1) (==del2)` |
| 2021-05-17 15:10:05 | <qwerty2o> | thats nice but i actually need a string of delimiters |
| 2021-05-17 15:10:17 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-17 15:10:21 | <qwerty2o> | so the (`elem` delims was the solution) |
| 2021-05-17 15:10:38 | → | cohn joins (~noone@unaffiliated/cohn) |
| 2021-05-17 15:11:40 | × | fendor quits (~fendor@178.115.130.102.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-05-17 15:12:35 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) |
| 2021-05-17 15:12:41 | → | mastarija joins (~mastarija@31.217.1.195) |
| 2021-05-17 15:13:09 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-05-17 15:13:47 | → | ozzymcdu_ joins (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-17 15:15:38 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-17 15:17:28 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 15:17:52 | → | benin joins (~benin@183.82.177.199) |
| 2021-05-17 15:19:26 | × | proofofkeags quits (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2021-05-17 15:19:33 | × | tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds) |
| 2021-05-17 15:23:05 | ← | willardthor parts (d4ed87cf@c-xd4ed87cf.cust.hiper.dk) () |
| 2021-05-17 15:24:10 | <romesrf> | it worked [exa] ty :) |
| 2021-05-17 15:24:52 | → | nineonine joins (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) |
| 2021-05-17 15:25:17 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-17 15:25:30 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-05-17 15:26:39 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) (Ping timeout: 245 seconds) |
| 2021-05-17 15:26:57 | → | knyppeldynan joins (~kristina@h-178-174-136-151.NA.cust.bahnhof.se) |
| 2021-05-17 15:27:33 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-17 15:31:17 | → | plutoniix joins (~q@node-uls.pool-125-24.dynamic.totinternet.net) |
| 2021-05-17 15:32:55 | → | tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64) |
| 2021-05-17 15:33:48 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-17 15:36:32 | → | bahamas joins (~lucian@86.125.184.64) |
| 2021-05-17 15:36:32 | × | bahamas quits (~lucian@86.125.184.64) (Changing host) |
| 2021-05-17 15:36:32 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-05-17 15:36:55 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 15:37:11 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-05-17 15:37:31 | → | nicholasbulka joins (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) |
| 2021-05-17 15:37:39 | <boxscape> | https://github.com/ghc-proposals/ghc-proposals/discussions/424 |
| 2021-05-17 15:37:43 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-17 15:37:52 | <boxscape> | thinking about calling local bindings from ghci |
| 2021-05-17 15:38:17 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-05-17 15:38:28 | <merijn> | How does that work when they use captures |
| 2021-05-17 15:39:19 | <boxscape> | merijn One could imagine only allowing bindings without free variables. Though I can imagine captures working as well, see second-to-last point in the link |
| 2021-05-17 15:40:33 | → | proofofkeags joins (~proofofke@205.209.28.54) |
| 2021-05-17 15:41:46 | <geekosaur> | don't wheres desugar to lets? that would complicate distinguishing the two |
| 2021-05-17 15:41:53 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-17 15:41:59 | <boxscape> | hmm, interesting point |
| 2021-05-17 15:42:15 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 15:42:40 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-05-17 15:42:40 | × | knyppeldynan quits (~kristina@h-178-174-136-151.NA.cust.bahnhof.se) (Remote host closed the connection) |
| 2021-05-17 15:42:49 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 2021-05-17 15:43:28 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-17 15:43:33 | × | nyd quits (nyd@gateway/vpn/protonvpn/elysian) (Remote host closed the connection) |
| 2021-05-17 15:43:43 | → | knyppeldynan joins (~kristina@h-178-174-136-151.NA.cust.bahnhof.se) |
| 2021-05-17 15:45:08 | → | nyd joins (~nyd@unaffiliated/elysian) |
| 2021-05-17 15:45:11 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1) |
| 2021-05-17 15:47:52 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 15:48:10 | → | electricityZZZZ joins (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 2021-05-17 15:49:25 | × | libertyprime quits (~libertypr@124.197.60.232) (Ping timeout: 252 seconds) |
| 2021-05-17 15:51:59 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-05-17 15:52:36 | → | dyeplexer joins (~terpin@unaffiliated/terpin) |
| 2021-05-17 15:52:42 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 15:53:01 | melkor | is now known as Guest91530 |
| 2021-05-17 15:53:47 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Remote host closed the connection) |
| 2021-05-17 15:56:05 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-05-17 15:58:22 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-17 15:58:52 | → | stcg joins (~stcg@194-024-128-083.dynamic.caiway.nl) |
| 2021-05-17 15:59:31 | × | nineonine quits (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 250 seconds) |
| 2021-05-17 16:00:12 | × | mat[m]1 quits (matmatrixo@gateway/shell/matrix.org/x-cfukwdcbtlauxbsx) (Quit: Idle for 30+ days) |
| 2021-05-17 16:00:24 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-05-17 16:00:33 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) |
| 2021-05-17 16:01:04 | → | todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 2021-05-17 16:07:07 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-05-17 16:09:44 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-17 16:10:09 | × | benin quits (~benin@183.82.177.199) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-17 16:10:23 | → | Lycurgus joins (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-17 16:14:23 | → | chris___ joins (~chris@81.96.113.213) |
| 2021-05-17 16:14:31 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-17 16:14:39 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-17 16:14:55 | → | ddellacosta joins (~ddellacos@86.106.143.139) |
| 2021-05-17 16:16:11 | × | boxscape quits (54a350dc@p54a350dc.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-05-17 16:16:25 | → | boxscape joins (54a350dc@p54a350dc.dip0.t-ipconnect.de) |
| 2021-05-17 16:16:28 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2021-05-17 16:16:41 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds) |
| 2021-05-17 16:16:45 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-05-17 16:17:06 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 16:19:06 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-17 16:19:11 | × | Lycurgus quits (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-17 16:19:26 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-17 16:19:28 | × | ddellacosta quits (~ddellacos@86.106.143.139) (Ping timeout: 252 seconds) |
| 2021-05-17 16:22:37 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-05-17 16:24:34 | × | fendor_ quits (~fendor@213142096253.public.telering.at) (Read error: Connection reset by peer) |
| 2021-05-17 16:24:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-17 16:24:54 | → | hgolden joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-05-17 16:25:37 | → | fendor_ joins (~fendor@91.141.0.249.wireless.dyn.drei.com) |
| 2021-05-17 16:26:05 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-17 16:26:46 | × | qwerty2o quits (~qwerty2o@46-116-99-209.bb.netvision.net.il) (Ping timeout: 265 seconds) |
| 2021-05-17 16:29:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-05-17 16:32:01 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-17 16:32:57 | × | bitmagie quits (~Thunderbi@200116b80619af0038b023e60a9f8697.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-05-17 16:35:39 | → | fendor joins (~fendor@178.165.129.230.wireless.dyn.drei.com) |
All times are in UTC.