Logs: liberachat/#haskell
| 2021-08-07 05:23:20 | <xacktm> | jakefromstatefar: there's a #java channel you an try asking instead |
| 2021-08-07 05:23:56 | × | Guest56 quits (~Guest56@2804:d4b:9795:300:8439:3d7f:376e:35ad) (Client Quit) |
| 2021-08-07 05:25:22 | × | jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2021-08-07 05:27:51 | × | tommd quits (~tommd@cpe-76-179-204-251.maine.res.rr.com) (Ping timeout: 258 seconds) |
| 2021-08-07 05:30:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-07 05:33:21 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-07 05:33:21 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-07 05:34:32 | → | syntactic_sugar[ joins (~syntactic@2001:470:69fc:105::b4af) |
| 2021-08-07 05:37:02 | ← | syntactic_sugar[ parts (~syntactic@2001:470:69fc:105::b4af) () |
| 2021-08-07 05:39:34 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-07 05:43:18 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-08-07 05:56:12 | → | notzmv- joins (~zmv@user/notzmv) |
| 2021-08-07 05:58:44 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-08-07 05:59:04 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-07 06:00:49 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 258 seconds) |
| 2021-08-07 06:01:30 | × | notzmv- quits (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2021-08-07 06:01:38 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-07 06:04:40 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-08-07 06:08:49 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-07 06:09:20 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-08-07 06:14:14 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 258 seconds) |
| 2021-08-07 06:15:33 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-07 06:17:48 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-08-07 06:20:05 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) |
| 2021-08-07 06:22:56 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) (Remote host closed the connection) |
| 2021-08-07 06:23:08 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) |
| 2021-08-07 06:23:51 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Remote host closed the connection) |
| 2021-08-07 06:24:04 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-07 06:25:39 | → | delYsid joins (~user@62-178-101-151.cable.dynamic.surfer.at) |
| 2021-08-07 06:25:45 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-07 06:25:52 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2021-08-07 06:26:36 | <delYsid> | How do you call a rosetree with a uniform branching factor of 1? |
| 2021-08-07 06:26:59 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-08-07 06:27:09 | <c_wraith> | a list? |
| 2021-08-07 06:29:06 | <delYsid> | Right! Thats basically why I ask. I wrote functions to convert [] and NonEmpty into a forest and tree respectively. And I was wondering how to name this. listToForest is OKish, but nonEmptyToTree sounds a bit like a mouthful... stem maybe? |
| 2021-08-07 06:32:10 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-07 06:32:22 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 2021-08-07 06:33:20 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-08-07 06:35:23 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-07 06:35:42 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 272 seconds) |
| 2021-08-07 06:36:51 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-07 06:39:03 | → | mattil joins (~mattilinn@87-92-57-75.bb.dnainternet.fi) |
| 2021-08-07 06:39:23 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-08-07 06:45:57 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Remote host closed the connection) |
| 2021-08-07 06:45:58 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-07 06:46:19 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-07 06:54:20 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-08-07 06:55:51 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:a8c6:4beb:a469:3f6e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-07 06:56:28 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) () |
| 2021-08-07 06:57:06 | <sm> | branch ? grow ? sprout ? |
| 2021-08-07 07:00:40 | × | anandprabhu quits (~anandprab@94.202.243.198) (Quit: Leaving) |
| 2021-08-07 07:00:54 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Quit: mikoto-chan) |
| 2021-08-07 07:03:50 | × | shailangsa quits (~shailangs@host86-186-142-59.range86-186.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2021-08-07 07:14:28 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2021-08-07 07:14:41 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2021-08-07 07:14:54 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) () |
| 2021-08-07 07:15:50 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-08-07 07:19:24 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 258 seconds) |
| 2021-08-07 07:19:54 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-07 07:23:03 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-07 07:26:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 07:31:50 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-08-07 07:34:53 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-07 07:35:04 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Client Quit) |
| 2021-08-07 07:38:21 | × | nerdypepper quits (~nerdypepp@user/nerdypepper) (Quit: bye) |
| 2021-08-07 07:40:56 | → | nerdypepper joins (~nerdypepp@user/nerdypepper) |
| 2021-08-07 07:52:17 | → | MoC joins (~moc@user/moc) |
| 2021-08-07 07:52:31 | <maerwald[m]> | is `copyFile` guaranteed to work when source and destination are the same or does it depend on platform/kernel/whatever? |
| 2021-08-07 07:52:35 | <maerwald[m]> | The documentation is rather useless |
| 2021-08-07 07:53:52 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-07 07:58:30 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-07 08:01:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-07 08:03:30 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-07 08:03:48 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-07 08:04:40 | → | sm2n_ joins (~sm2n@user/sm2n) |
| 2021-08-07 08:04:55 | × | smitop quits (~smitop@user/smitop) (Quit: Ping timeout (120 seconds)) |
| 2021-08-07 08:05:40 | → | smitop joins (~smitop@user/smitop) |
| 2021-08-07 08:05:42 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-07 08:05:47 | × | nerdypepper quits (~nerdypepp@user/nerdypepper) (Quit: bye) |
| 2021-08-07 08:05:55 | → | haskl[error] joins (~haskl@98.37.78.63) |
| 2021-08-07 08:05:57 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-08-07 08:05:57 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-08-07 08:06:10 | × | haskl quits (~haskl@98.37.78.63) (Ping timeout: 256 seconds) |
| 2021-08-07 08:06:10 | × | pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-57-65-92-163-194.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 2021-08-07 08:06:11 | → | CnnibisIndica joins (~herb@user/mesaboogie) |
| 2021-08-07 08:06:22 | × | dermato quits (~dermatobr@cpe-70-114-219-76.austin.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-08-07 08:06:22 | × | jle` quits (~justin@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-08-07 08:06:22 | × | agander_m quits (sid407952@tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-07 08:06:25 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-08-07 08:06:28 | × | tput quits (~tim@S0106a84e3fe54613.ed.shawcable.net) (Remote host closed the connection) |
| 2021-08-07 08:06:28 | → | pieguy128 joins (~pieguy128@bas1-montreal02-65-92-163-194.dsl.bell.ca) |
| 2021-08-07 08:06:35 | → | nerdypepper joins (~nerdypepp@user/nerdypepper) |
| 2021-08-07 08:06:44 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2021-08-07 08:06:44 | × | finsternis quits (~X@23.226.237.192) (Ping timeout: 256 seconds) |
| 2021-08-07 08:06:46 | → | a1paca_ joins (~a1paca@user/a1paca) |
| 2021-08-07 08:06:51 | → | tput joins (~tim@S0106a84e3fe54613.ed.shawcable.net) |
| 2021-08-07 08:07:11 | → | agander_m joins (sid407952@id-407952.tinside.irccloud.com) |
| 2021-08-07 08:07:12 | × | Clint quits (~Clint@user/clint) (Ping timeout: 245 seconds) |
| 2021-08-07 08:07:13 | → | sm[i]_ joins (~user@li229-222.members.linode.com) |
| 2021-08-07 08:07:17 | × | sm[i] quits (~user@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
All times are in UTC.