Logs: freenode/#haskell
| 2021-05-05 15:19:51 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-05 15:22:25 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-05 15:23:55 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:fab6:550d:3b76:981b) |
| 2021-05-05 15:24:28 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-05 15:24:43 | × | kderme quits (2e675c7c@46-92-124.adsl.cyta.gr) (Ping timeout: 240 seconds) |
| 2021-05-05 15:30:09 | ← | cohn_ parts (~noone@23.239.18.252) () |
| 2021-05-05 15:30:57 | → | cohn joins (~noone@unaffiliated/cohn) |
| 2021-05-05 15:31:02 | → | mav1 joins (~mav@ip-88-152-11-229.hsi03.unitymediagroup.de) |
| 2021-05-05 15:31:32 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-05-05 15:34:31 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-05 15:34:52 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 15:36:20 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-05 15:38:01 | × | dsrt^ quits (~hph@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 260 seconds) |
| 2021-05-05 15:38:27 | → | dsrt^ joins (nctrf@ip98-184-89-2.mc.at.cox.net) |
| 2021-05-05 15:41:24 | → | keiopa joins (94478efe@gateway/web/cgi-irc/kiwiirc.com/ip.148.71.142.254) |
| 2021-05-05 15:42:34 | × | keiopa quits (94478efe@gateway/web/cgi-irc/kiwiirc.com/ip.148.71.142.254) (Client Quit) |
| 2021-05-05 15:43:02 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-05 15:43:36 | → | danso joins (~dan@modemcable156.91-20-96.mc.videotron.ca) |
| 2021-05-05 15:44:13 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Remote host closed the connection) |
| 2021-05-05 15:45:24 | × | enoq quits (~textual@194-208-146-143.lampert.tv) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-05 15:45:35 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-05-05 15:45:47 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-05 15:46:51 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 15:49:13 | × | peterx112 quits (8ba26143@139.162.97.67) (Quit: Connection closed) |
| 2021-05-05 15:49:19 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Remote host closed the connection) |
| 2021-05-05 15:51:02 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-05 15:51:50 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-05 15:52:54 | × | mav1 quits (~mav@ip-88-152-11-229.hsi03.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-05-05 15:53:16 | → | qwert joins (5167bcc0@cpc122078-bmly10-2-0-cust191.2-3.cable.virginm.net) |
| 2021-05-05 15:53:38 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-05 15:53:44 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 15:53:53 | → | safinaskar joins (~user@109-252-90-136.nat.spd-mgts.ru) |
| 2021-05-05 15:54:43 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:fab6:550d:3b76:981b) (Ping timeout: 260 seconds) |
| 2021-05-05 15:55:04 | <safinaskar> | does base have function for creating something-separated lists? i mean this: f "," [] == "", f "," ["a"] == "a", f "," ["a", "b"] == "a,b" |
| 2021-05-05 15:55:10 | <safinaskar> | or something similar? |
| 2021-05-05 15:55:49 | <ClaudiusMaximus> | > intercalate "," "ab" |
| 2021-05-05 15:55:51 | <lambdabot> | error: |
| 2021-05-05 15:55:51 | <lambdabot> | • Couldn't match type ‘Char’ with ‘[Char]’ |
| 2021-05-05 15:55:51 | <lambdabot> | Expected type: [[Char]] |
| 2021-05-05 15:55:52 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 276 seconds) |
| 2021-05-05 15:56:26 | ← | qwert parts (5167bcc0@cpc122078-bmly10-2-0-cust191.2-3.cable.virginm.net) () |
| 2021-05-05 15:56:29 | <ClaudiusMaximus> | oh, should be ',', but it's in Data.List in base |
| 2021-05-05 15:56:51 | <safinaskar> | ClaudiusMaximus: thanks! |
| 2021-05-05 15:57:13 | <ClaudiusMaximus> | @src intercalate |
| 2021-05-05 15:57:13 | <lambdabot> | intercalate xs xss = concat (intersperse xs xss) |
| 2021-05-05 15:58:20 | → | __minoru__shirae joins (~shiraeesh@77.94.25.20) |
| 2021-05-05 16:01:52 | × | minoru_shiraeesh quits (~shiraeesh@77.94.25.20) (Ping timeout: 240 seconds) |
| 2021-05-05 16:04:30 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-05-05 16:04:57 | <monochrom> | > intercalate "," ["a", "b"] |
| 2021-05-05 16:04:59 | <lambdabot> | "a,b" |
| 2021-05-05 16:05:26 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-05 16:07:02 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:3b8a:fc99:e582:487) |
| 2021-05-05 16:07:09 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-05 16:08:00 | <geekosaur> | and the other one is intersperse |
| 2021-05-05 16:10:04 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-05 16:12:23 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection) |
| 2021-05-05 16:13:23 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-05 16:13:44 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 16:14:34 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-05 16:15:04 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-05 16:15:21 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection) |
| 2021-05-05 16:16:16 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-05 16:16:44 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection) |
| 2021-05-05 16:17:02 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-05 16:20:01 | → | proofofkeags joins (~proofofke@205.209.28.54) |
| 2021-05-05 16:20:02 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-05-05 16:22:43 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 16:22:56 | → | bitmagie joins (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) |
| 2021-05-05 16:23:31 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 16:26:13 | × | bitmagie quits (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-05 16:26:25 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2021-05-05 16:27:38 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-05 16:28:19 | → | Bewdu joins (ac70cf9f@cpe-172-112-207-159.socal.res.rr.com) |
| 2021-05-05 16:30:42 | <xerox_> | @src intersperse |
| 2021-05-05 16:30:42 | <lambdabot> | intersperse _ [] = [] |
| 2021-05-05 16:30:42 | <lambdabot> | intersperse _ [x] = [x] |
| 2021-05-05 16:30:42 | <lambdabot> | intersperse sep (x:xs) = x : sep : intersperse sep xs |
| 2021-05-05 16:31:25 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-05 16:31:35 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-05-05 16:35:53 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 250 seconds) |
| 2021-05-05 16:37:19 | × | ADG1089 quits (~aditya@122.163.193.183) (Quit: Konversation terminated!) |
| 2021-05-05 16:39:46 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-05 16:43:41 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-05 16:44:19 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-05 16:44:39 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 16:47:31 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-05 16:47:36 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-txrflotqmtwxkura) |
| 2021-05-05 16:48:12 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 2021-05-05 16:49:42 | ← | safinaskar parts (~user@109-252-90-136.nat.spd-mgts.ru) () |
| 2021-05-05 16:49:50 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-05-05 16:50:12 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-05 16:50:18 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-05-05 16:50:51 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-05 16:51:24 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-05 16:53:42 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-srezfizievqmpclo) |
| 2021-05-05 16:54:54 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Remote host closed the connection) |
| 2021-05-05 16:54:55 | × | __minoru__shirae quits (~shiraeesh@77.94.25.20) (Read error: No route to host) |
| 2021-05-05 16:55:10 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-05 16:55:23 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-05-05 16:55:23 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds) |
All times are in UTC.