Logs: liberachat/#haskell
| 2021-08-07 14:52:40 | → | Colton joins (~textual@65-130-191-156.slkc.qwest.net) |
| 2021-08-07 14:55:34 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-08-07 15:00:26 | × | endlesseditions quits (~endlessed@205.220.252.162) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-08-07 15:01:03 | Colton | is now known as colton |
| 2021-08-07 15:03:30 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 2021-08-07 15:07:11 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-07 15:08:00 | → | zmt00 joins (~zmt00@user/zmt00) |
| 2021-08-07 15:10:28 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-08-07 15:11:05 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-07 15:11:44 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-08-07 15:12:37 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-07 15:15:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 15:15:53 | × | xff0x quits (~xff0x@2001:1a81:5306:3400:4d49:e3c3:b2b2:d749) (Ping timeout: 258 seconds) |
| 2021-08-07 15:19:13 | × | futty quits (~futty@c83-252-75-55.bredband.tele2.se) (Quit: Connection closed) |
| 2021-08-07 15:23:41 | × | colton quits (~textual@65-130-191-156.slkc.qwest.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-08-07 15:25:17 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-07 15:35:53 | → | Guest89 joins (~Guest89@2406:3003:2001:3ede:50a0:4365:f2f9:1809) |
| 2021-08-07 15:36:06 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…) |
| 2021-08-07 15:36:18 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-07 15:37:12 | × | tommd quits (~tommd@cpe-76-179-204-251.maine.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-08-07 15:38:11 | × | Guest89 quits (~Guest89@2406:3003:2001:3ede:50a0:4365:f2f9:1809) (Client Quit) |
| 2021-08-07 15:38:19 | → | xff0x joins (~xff0x@2001:1a81:5306:3400:4d49:e3c3:b2b2:d749) |
| 2021-08-07 15:38:27 | → | endlesseditions joins (~endlessed@205.220.252.162) |
| 2021-08-07 15:45:01 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-08-07 15:46:10 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 258 seconds) |
| 2021-08-07 15:46:36 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-08-07 15:47:16 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-08-07 15:48:05 | <Hecate> | < [exa]> Hecate: by "chains of applicative effects", you mean any applicative effects? // yeah |
| 2021-08-07 15:48:19 | <Hecate> | since we more or less give up execution order to the RTS |
| 2021-08-07 15:48:42 | <Hecate> | I was wondering if it was doing the better thing for actions that do not depend on other actions |
| 2021-08-07 15:49:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-08-07 15:49:59 | × | endlesseditions quits (~endlessed@205.220.252.162) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-08-07 15:51:13 | → | econo joins (uid147250@user/econo) |
| 2021-08-07 15:53:01 | → | enoq joins (~enoq@194-208-179-35.lampert.tv) |
| 2021-08-07 15:57:07 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-08-07 15:58:52 | → | slycelote joins (~slycelote@user/slycelote) |
| 2021-08-07 16:04:22 | → | exarkun joins (~exarkun@user/exarkun) |
| 2021-08-07 16:10:54 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:11:13 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:13:51 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 2021-08-07 16:14:19 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:14:39 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:14:44 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 250 seconds) |
| 2021-08-07 16:15:40 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:15:58 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:16:16 | × | smarton quits (~smarton@gnu/webmaster/smarton) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-08-07 16:16:21 | × | mcfrdy quits (~mcfrdy@user/mcfrdy) (Quit: quit) |
| 2021-08-07 16:16:37 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-07 16:16:48 | → | mcfrdy joins (~mcfrdy@user/mcfrdy) |
| 2021-08-07 16:17:01 | → | smarton joins (~smarton@gnu/webmaster/smarton) |
| 2021-08-07 16:17:37 | × | cpape` quits (~user@2a01:4f9:c010:632d::1) (Remote host closed the connection) |
| 2021-08-07 16:17:51 | → | cpape` joins (~user@2a01:4f9:c010:632d::1) |
| 2021-08-07 16:17:57 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:18:26 | → | vysn joins (~vysn@user/vysn) |
| 2021-08-07 16:18:26 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:18:54 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:20:02 | × | smarton quits (~smarton@gnu/webmaster/smarton) (Client Quit) |
| 2021-08-07 16:20:10 | × | retroid_ quits (~retro@5ec19a54.skybroadband.com) (Ping timeout: 240 seconds) |
| 2021-08-07 16:20:44 | × | acid quits (~acid@user/acid) (Ping timeout: 252 seconds) |
| 2021-08-07 16:20:53 | → | smarton joins (~smarton@gnu/webmaster/smarton) |
| 2021-08-07 16:21:28 | × | dyniec quits (~dyniec@mail.dybiec.info) (Ping timeout: 272 seconds) |
| 2021-08-07 16:21:30 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:22:24 | → | dyniec joins (~dyniec@mail.dybiec.info) |
| 2021-08-07 16:22:25 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:23:18 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:23:22 | × | smarton quits (~smarton@gnu/webmaster/smarton) (Client Quit) |
| 2021-08-07 16:23:54 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:24:21 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:24:45 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:25:11 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:25:37 | → | acid joins (~acid@user/acid) |
| 2021-08-07 16:26:01 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:33:56 | → | fef joins (~thedawn@user/thedawn) |
| 2021-08-07 16:34:47 | × | exarkun quits (~exarkun@user/exarkun) (Quit: ZNC 1.7.4 - https://znc.in) |
| 2021-08-07 16:35:06 | × | cheater quits (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2021-08-07 16:35:50 | → | exarkun joins (~exarkun@user/exarkun) |
| 2021-08-07 16:36:43 | × | exarkun quits (~exarkun@user/exarkun) (Client Quit) |
| 2021-08-07 16:36:56 | → | bontaq joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-08-07 16:37:51 | → | exarkun joins (~exarkun@user/exarkun) |
| 2021-08-07 16:38:37 | × | noddy quits (~user@user/noddy) (Ping timeout: 258 seconds) |
| 2021-08-07 16:38:43 | → | cheater joins (~Username@user/cheater) |
| 2021-08-07 16:39:31 | → | noddy joins (~user@user/noddy) |
| 2021-08-07 16:40:17 | × | noddy quits (~user@user/noddy) (Max SendQ exceeded) |
| 2021-08-07 16:41:51 | → | noddy joins (~user@user/noddy) |
| 2021-08-07 16:47:30 | × | noddy quits (~user@user/noddy) (Ping timeout: 272 seconds) |
| 2021-08-07 16:48:32 | → | noddy joins (~user@user/noddy) |
| 2021-08-07 16:53:10 | × | acid quits (~acid@user/acid) (Ping timeout: 256 seconds) |
| 2021-08-07 16:53:15 | × | exarkun quits (~exarkun@user/exarkun) (Ping timeout: 258 seconds) |
| 2021-08-07 16:55:57 | × | noddy quits (~user@user/noddy) (Ping timeout: 245 seconds) |
| 2021-08-07 16:57:12 | → | noddy joins (~user@user/noddy) |
| 2021-08-07 16:57:14 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-122.prtc.net) |
| 2021-08-07 16:58:50 | → | acid joins (~acid@user/acid) |
| 2021-08-07 17:02:37 | × | noddy quits (~user@user/noddy) (Ping timeout: 245 seconds) |
| 2021-08-07 17:02:42 | × | mcfrdy quits (~mcfrdy@user/mcfrdy) (Quit: quit) |
| 2021-08-07 17:03:04 | → | mcfrdy joins (~mcfrdy@user/mcfrdy) |
| 2021-08-07 17:03:41 | → | noddy joins (~user@user/noddy) |
| 2021-08-07 17:04:46 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-08-07 17:05:26 | → | hololeap joins (~hololeap@user/hololeap) |
| 2021-08-07 17:06:34 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-08-07 17:07:39 | × | hrnz quits (~ulli@irc.plumbing) (Ping timeout: 276 seconds) |
All times are in UTC.