Logs: freenode/#haskell
| 2021-04-15 23:14:06 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:4503:1bda:8362:f720) |
| 2021-04-15 23:14:12 | × | vs^ quits (vs@ip98-184-89-2.mc.at.cox.net) () |
| 2021-04-15 23:15:01 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-15 23:16:08 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-04-15 23:16:41 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-15 23:18:50 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-15 23:18:52 | × | eacameron quits (uid256985@gateway/web/irccloud.com/x-rzlatralzulvgovn) (Quit: Connection closed for inactivity) |
| 2021-04-15 23:19:23 | × | dhil quits (~dhil@80.208.56.181) (Ping timeout: 268 seconds) |
| 2021-04-15 23:19:29 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-15 23:27:08 | × | carlomagno quits (~cararell@148.87.23.7) (Remote host closed the connection) |
| 2021-04-15 23:27:28 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-15 23:27:33 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-15 23:28:41 | → | carlomagno joins (~cararell@148.87.23.7) |
| 2021-04-15 23:32:34 | × | carlomagno quits (~cararell@148.87.23.7) (Client Quit) |
| 2021-04-15 23:33:55 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-15 23:36:20 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 23:36:23 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:4503:1bda:8362:f720) (Ping timeout: 260 seconds) |
| 2021-04-15 23:36:38 | → | jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-04-15 23:39:16 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 23:40:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 23:42:38 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-15 23:44:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-04-15 23:44:43 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-04-15 23:45:41 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-15 23:49:47 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 246 seconds) |
| 2021-04-15 23:52:13 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 23:53:56 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-04-15 23:53:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-15 23:56:33 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-16 00:00:02 | → | Alleria joins (~textual@2603-7000-3040-0000-8949-8f11-a2f4-9520.res6.spectrum.com) |
| 2021-04-16 00:00:26 | Alleria | is now known as Guest71715 |
| 2021-04-16 00:01:54 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b) |
| 2021-04-16 00:02:16 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b) (Client Quit) |
| 2021-04-16 00:03:14 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Remote host closed the connection) |
| 2021-04-16 00:04:13 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-16 00:04:13 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b) |
| 2021-04-16 00:04:23 | × | Guest71715 quits (~textual@2603-7000-3040-0000-8949-8f11-a2f4-9520.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-16 00:10:17 | → | desmond373 joins (~circuser-@180.150.112.239) |
| 2021-04-16 00:14:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-16 00:15:17 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-16 00:16:17 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-16 00:17:34 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9573286e28f39b70c9d3.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-04-16 00:18:00 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9573286e28f39b70c9d3.dip0.t-ipconnect.de) |
| 2021-04-16 00:26:44 | → | slack1256 joins (~slack1256@200-112-78-209.baf.movistar.cl) |
| 2021-04-16 00:29:09 | → | ddellacosta joins (~ddellacos@86.106.143.248) |
| 2021-04-16 00:33:32 | × | ddellacosta quits (~ddellacos@86.106.143.248) (Ping timeout: 246 seconds) |
| 2021-04-16 00:37:35 | × | gawen quits (~gawen@movzbl.root.sx) (Quit: cya) |
| 2021-04-16 00:38:14 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-16 00:40:20 | → | gawen joins (~gawen@movzbl.root.sx) |
| 2021-04-16 00:41:22 | <desmond373> | is there some simple way to map a list of indicies to a list and return the list in the new order? e.g [0,1,3,2]->[1,2,3,4,5]->[1,2,4,3]] |
| 2021-04-16 00:42:12 | <Axman6> | > let reorder is xs = map (xs !!) is |
| 2021-04-16 00:42:14 | <lambdabot> | <no location info>: error: |
| 2021-04-16 00:42:14 | <lambdabot> | not an expression: ‘let reorder is xs = map (xs !!) is’ |
| 2021-04-16 00:42:19 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 2021-04-16 00:42:26 | <Axman6> | > let reorder is xs = map (xs !!) is in reorder [0,1,3,2] [1,2,3,4,5] |
| 2021-04-16 00:42:28 | <lambdabot> | [1,2,4,3] |
| 2021-04-16 00:42:30 | ← | jophish parts (~joemonoid@li1766-207.members.linode.com) ("User left") |
| 2021-04-16 00:44:26 | <desmond373> | thanks! |
| 2021-04-16 00:47:34 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Ping timeout: 268 seconds) |
| 2021-04-16 00:47:54 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 2021-04-16 00:56:18 | × | epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-04-16 00:56:31 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-ylxdmaadjlaxocvo) () |
| 2021-04-16 00:57:16 | <desmond373> | it took me until just then to figure out how that works an now i feel stupid |
| 2021-04-16 00:59:00 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-16 01:00:35 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:335e:738b:9066:e6) (Ping timeout: 248 seconds) |
| 2021-04-16 01:01:13 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-16 01:05:33 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-16 01:07:27 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-16 01:08:26 | × | malumore quits (~malumore@151.62.126.218) (Ping timeout: 240 seconds) |
| 2021-04-16 01:10:04 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-sdeodmvqokbrtcvh) (Quit: Connection closed for inactivity) |
| 2021-04-16 01:11:35 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b) |
| 2021-04-16 01:11:48 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b) (Read error: Connection reset by peer) |
| 2021-04-16 01:12:14 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 268 seconds) |
| 2021-04-16 01:13:04 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:fcb5:fe0b:76b4:5550) |
| 2021-04-16 01:16:22 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-16 01:16:47 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-16 01:17:39 | × | xff0x quits (~xff0x@2001:1a81:5212:400:5254:5969:59c7:5023) (Ping timeout: 260 seconds) |
| 2021-04-16 01:19:25 | → | xff0x joins (~xff0x@2001:1a81:5248:9d00:9381:fa96:9ca3:9618) |
| 2021-04-16 01:20:10 | → | BalterNotz joins (790ddae7@121.13.218.231) |
| 2021-04-16 01:22:32 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2021-04-16 01:25:27 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-grpkmlokorxpefir) |
| 2021-04-16 01:27:52 | × | nineonin_ quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 2021-04-16 01:28:37 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-16 01:30:23 | → | drbean_ joins (~drbean@TC210-63-209-186.static.apol.com.tw) |
| 2021-04-16 01:31:16 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-04-16 01:32:03 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-16 01:33:16 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-04-16 01:39:23 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:d9af:dd7d:b8a9:dce) (Remote host closed the connection) |
| 2021-04-16 01:40:31 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-16 01:44:59 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-04-16 01:46:12 | <infinisil> | Axman6: Huh, how does `is` work? |
| 2021-04-16 01:47:42 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:cd10:8f6:88a1:a322) |
| 2021-04-16 01:50:06 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-04-16 01:51:13 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 2021-04-16 01:51:55 | × | nvmd quits (~nvmd@177.30.111.232) (Quit: Later nerds.) |
| 2021-04-16 01:53:37 | × | danso quits (~dan@23-233-111-52.cpe.pppoe.ca) (Ping timeout: 260 seconds) |
| 2021-04-16 01:53:42 | × | BalterNotz quits (790ddae7@121.13.218.231) (Ping timeout: 240 seconds) |
| 2021-04-16 01:53:45 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-16 01:55:24 | × | jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 268 seconds) |
| 2021-04-16 01:58:20 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Remote host closed the connection) |
All times are in UTC.