Logs: liberachat/#haskell
| 2021-05-29 13:22:32 | → | koishi_ joins (~koishi_@185.209.85.134) |
| 2021-05-29 13:24:30 | × | ddellacosta quits (~ddellacos@89.46.62.78) (Ping timeout: 248 seconds) |
| 2021-05-29 13:24:47 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-29 13:25:34 | × | kus quits (~ku@c-75-70-155-244.hsd1.co.comcast.net) (Ping timeout: 248 seconds) |
| 2021-05-29 13:26:06 | → | xkapastel joins (uid17782@id-17782.tinside.irccloud.com) |
| 2021-05-29 13:27:07 | → | tremon_ joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-05-29 13:30:19 | → | _73 joins (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
| 2021-05-29 13:30:54 | × | rahguzar quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Ping timeout: 248 seconds) |
| 2021-05-29 13:30:59 | → | ddellacosta joins (~ddellacos@86.106.121.43) |
| 2021-05-29 13:31:14 | <maerwald> | is the CLC still active? |
| 2021-05-29 13:31:30 | → | rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 2021-05-29 13:31:45 | → | aman joins (~aman@user/aman) |
| 2021-05-29 13:33:01 | → | doublex joins (~doublex@2601:542:c480:6ee0:a5a3:1270:f9ea:4275) |
| 2021-05-29 13:34:53 | × | vshev4enko quits (~vshev4enk@178.151.117.243) (Ping timeout: 265 seconds) |
| 2021-05-29 13:36:17 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-05-29 13:37:00 | ← | _73 parts (~user@pool-96-233-64-53.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
| 2021-05-29 13:38:55 | → | Guest9 joins (~Guest9@103.240.169.6) |
| 2021-05-29 13:41:35 | × | leeb_ quits (~leeb@KD111239159143.au-net.ne.jp) (Quit: WeeChat 3.1) |
| 2021-05-29 13:41:42 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-05-29 13:41:59 | → | leeb joins (~leeb@KD111239159143.au-net.ne.jp) |
| 2021-05-29 13:43:28 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-29 13:44:11 | × | coot quits (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-29 13:48:10 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 2021-05-29 13:48:40 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-29 13:49:10 | → | zebrag joins (~chris@user/zebrag) |
| 2021-05-29 13:51:24 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-05-29 13:52:17 | × | leeb quits (~leeb@KD111239159143.au-net.ne.jp) (Quit: WeeChat 3.1) |
| 2021-05-29 13:56:41 | → | Tomurb joins (~tom@92-17.net.optinet.cz) |
| 2021-05-29 13:57:24 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-29 13:57:42 | → | coot joins (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-29 13:57:56 | <altern> | If anyone could look at https://stackoverflow.com/questions/67752191/unions-data-map-singletons-inside-an-io , I would be grateful |
| 2021-05-29 14:02:32 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-29 14:03:07 | × | Tomurb quits (~tom@92-17.net.optinet.cz) (Quit: Konversation terminated!) |
| 2021-05-29 14:06:34 | <rahguzar> | @altern there is `sequence` you can use to go from `[IO a]` to `IO [a]` |
| 2021-05-29 14:06:34 | <lambdabot> | Unknown command, try @list |
| 2021-05-29 14:07:14 | <rahguzar> | @type sequence |
| 2021-05-29 14:07:15 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2021-05-29 14:07:21 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 272 seconds) |
| 2021-05-29 14:07:35 | <cdsmith> | @type mapM |
| 2021-05-29 14:07:36 | <lambdabot> | (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) |
| 2021-05-29 14:07:52 | → | mcwitt joins (~user@user/mcwitt) |
| 2021-05-29 14:07:52 | <cdsmith> | That works for you as well |
| 2021-05-29 14:09:19 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-05-29 14:11:54 | × | mcwitt quits (~user@user/mcwitt) (Remote host closed the connection) |
| 2021-05-29 14:12:35 | → | mcwitt joins (~user@user/mcwitt) |
| 2021-05-29 14:12:47 | → | typesafety joins (~typesafet@umbreller.kvi.sgsnet.se) |
| 2021-05-29 14:12:54 | × | Guest9 quits (~Guest9@103.240.169.6) (Ping timeout: 264 seconds) |
| 2021-05-29 14:13:22 | × | koishi_ quits (~koishi_@185.209.85.134) (Quit: /ragequit) |
| 2021-05-29 14:13:28 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection) |
| 2021-05-29 14:14:47 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-29 14:16:00 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-05-29 14:17:15 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection) |
| 2021-05-29 14:18:04 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-05-29 14:18:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-29 14:18:27 | <trueboxguy> | sequenceA fans entering chat like |
| 2021-05-29 14:18:27 | ikex | is now known as \n |
| 2021-05-29 14:18:33 | \n | is now known as ikex |
| 2021-05-29 14:19:03 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-05-29 14:19:08 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-05-29 14:20:48 | × | pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-05-29 14:21:18 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection) |
| 2021-05-29 14:22:30 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-05-29 14:23:10 | → | Guest11 joins (~textual@146.212.240.255) |
| 2021-05-29 14:24:12 | × | rk04 quits (~rk04@user/rajk) (Ping timeout: 250 seconds) |
| 2021-05-29 14:24:39 | × | sbmsr quits (~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd) (Ping timeout: 272 seconds) |
| 2021-05-29 14:25:59 | → | sbmsr joins (~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd) |
| 2021-05-29 14:26:11 | × | altern quits (~Sergii@altern.corbina.com.ua) (Remote host closed the connection) |
| 2021-05-29 14:28:50 | × | Klotz quits (~Klotzoman@gateway/tor-sasl/klotz) (Quit: Klotz) |
| 2021-05-29 14:30:32 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-05-29 14:31:13 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection) |
| 2021-05-29 14:32:29 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Quit: leaving) |
| 2021-05-29 14:32:45 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-05-29 14:33:46 | × | ddellacosta quits (~ddellacos@86.106.121.43) (Ping timeout: 264 seconds) |
| 2021-05-29 14:36:23 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection) |
| 2021-05-29 14:37:18 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-29 14:37:23 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-05-29 14:39:10 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 264 seconds) |
| 2021-05-29 14:39:51 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-05-29 14:40:14 | × | hadak__ quits (~ku@2601:280:c780:7ea0:814a:a68d:33de:f626) (Ping timeout: 248 seconds) |
| 2021-05-29 14:40:15 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-29 14:41:24 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Client Quit) |
| 2021-05-29 14:42:18 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-05-29 14:43:16 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-05-29 14:45:59 | → | fosskers joins (~colin@S0106f0f249642f53.vn.shawcable.net) |
| 2021-05-29 14:47:09 | → | ddellacosta joins (~ddellacos@86.106.121.65) |
| 2021-05-29 14:47:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-29 14:48:02 | × | mcwitt quits (~user@user/mcwitt) (Remote host closed the connection) |
| 2021-05-29 14:48:53 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-05-29 14:49:17 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-29 14:51:52 | × | ddellacosta quits (~ddellacos@86.106.121.65) (Ping timeout: 264 seconds) |
| 2021-05-29 14:52:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-29 14:54:09 | → | zyzzyxdonta joins (~zyzzyxdon@p4ff1877f.dip0.t-ipconnect.de) |
| 2021-05-29 14:55:12 | × | dhazel quits (~quassel@2601:1c1:8a00:3390:488e:c0d7:e238:3215) (Quit: No Ping reply in 180 seconds.) |
| 2021-05-29 14:56:26 | → | dhazel joins (~quassel@2601:1c1:8a00:3390:80d7:bcce:50b1:298c) |
| 2021-05-29 14:58:27 | × | Robin_Jadoul quits (~Robin_Jad@152.67.64.160) (Quit: Robin_Jadoul) |
| 2021-05-29 14:59:39 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-05-29 15:00:56 | → | fabfianda[m] joins (~fabfianda@2001:470:69fc:105::6db) |
| 2021-05-29 15:02:56 | → | saolof joins (~olofs@217.138.208.142) |
| 2021-05-29 15:03:08 | → | lbseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-29 15:03:22 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:dd4f:e91d:2ac5:15ba) |
All times are in UTC.