Logs: liberachat/#haskell
| 2021-05-28 01:43:26 | <zzz[m]> | hey bridge is up! nice |
| 2021-05-28 01:47:54 | × | GIANTWORLDKEEPER quits (~pjetcetal@2.95.204.25) (Quit: EXIT) |
| 2021-05-28 01:48:07 | → | GIANTWORLDKEEPER joins (~pjetcetal@2.95.204.25) |
| 2021-05-28 01:50:40 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-dev) |
| 2021-05-28 01:51:39 | → | jaevanko joins (~jaevanko@2600:1700:1330:2bef:1c80:6870:d96d:577b) |
| 2021-05-28 01:52:12 | → | Aran joins (~Aran@port-92-194-80-170.dynamic.as20676.net) |
| 2021-05-28 01:54:08 | × | gzj quits (~GZJ0X@185.212.59.97.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 01:54:27 | → | gzj joins (~GZJ0X@185.212.59.97.16clouds.com) |
| 2021-05-28 01:54:36 | → | mrufrufin joins (~dxk@108.235.170.90) |
| 2021-05-28 01:55:01 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-28 01:55:05 | × | Teacup quits (~teacup@user/teacup) (Remote host closed the connection) |
| 2021-05-28 01:56:28 | → | juhp joins (~juhp@128.106.188.199) |
| 2021-05-28 01:56:34 | → | Teacup joins (~teacup@user/teacup) |
| 2021-05-28 01:56:43 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-28 01:57:50 | × | ryantrinkle quits (~ryan@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-05-28 01:58:00 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 01:58:48 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-28 01:59:06 | × | xff0x quits (~xff0x@2001:1a81:53be:400:57c4:638d:15c6:fc7a) (Ping timeout: 264 seconds) |
| 2021-05-28 02:00:25 | → | xff0x joins (~xff0x@2001:1a81:53e0:500:c41f:7cc:7b24:9813) |
| 2021-05-28 02:01:25 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 02:03:23 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-05-28 02:03:58 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 248 seconds) |
| 2021-05-28 02:04:17 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-28 02:05:54 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 02:06:10 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 2021-05-28 02:07:38 | → | oxide joins (~lambda@user/oxide) |
| 2021-05-28 02:08:51 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) () |
| 2021-05-28 02:09:51 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 02:10:22 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@192.252.212.7) (Ping timeout: 248 seconds) |
| 2021-05-28 02:10:54 | × | Aran quits (~Aran@port-92-194-80-170.dynamic.as20676.net) (Ping timeout: 248 seconds) |
| 2021-05-28 02:11:05 | × | jassob quits (~jassob@korrob.vth.sgsnet.se) (Ping timeout: 252 seconds) |
| 2021-05-28 02:11:59 | → | jassob joins (~jassob@korrob.vth.sgsnet.se) |
| 2021-05-28 02:14:17 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 02:15:06 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-05-28 02:15:10 | × | winter quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2021-05-28 02:15:44 | → | ukari joins (~ukari@user/ukari) |
| 2021-05-28 02:15:54 | finn_elija | is now known as Guest8538 |
| 2021-05-28 02:15:54 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-05-28 02:15:54 | × | Guest8538 quits (~finn_elij@user/finn-elija/x-0085643) (Killed (strontium.libera.chat (Nickname regained by services))) |
| 2021-05-28 02:15:54 | FinnElija | is now known as finn_elija |
| 2021-05-28 02:17:53 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 02:19:51 | <tonyday> | or just maybe, core is expressed using the same types as haskell code, and we can already do it but just haven't tried. |
| 2021-05-28 02:21:14 | × | xwx quits (~george@user/george) (Ping timeout: 264 seconds) |
| 2021-05-28 02:22:10 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 02:23:11 | → | xwx joins (~george@user/george) |
| 2021-05-28 02:24:11 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 02:24:47 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 02:25:48 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 02:26:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-28 02:27:21 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 02:28:21 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 02:29:08 | → | hiruji` joins (~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6) |
| 2021-05-28 02:29:29 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-05-28 02:29:34 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 264 seconds) |
| 2021-05-28 02:29:54 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 02:30:38 | → | ddellacosta joins (~ddellacos@89.46.62.78) |
| 2021-05-28 02:31:38 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 02:32:29 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 02:33:34 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 02:33:38 | → | pe200012 joins (~pe200012@119.131.208.84) |
| 2021-05-28 02:33:46 | × | pe200012_ quits (~pe200012@218.107.17.245) (Ping timeout: 264 seconds) |
| 2021-05-28 02:34:29 | → | benin7 joins (~benin@183.82.177.19) |
| 2021-05-28 02:34:48 | × | benin quits (~benin@183.82.176.197) (Ping timeout: 265 seconds) |
| 2021-05-28 02:34:48 | benin7 | is now known as benin |
| 2021-05-28 02:34:54 | × | ddellacosta quits (~ddellacos@89.46.62.78) (Ping timeout: 248 seconds) |
| 2021-05-28 02:34:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 248 seconds) |
| 2021-05-28 02:35:03 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 02:35:17 | × | td_ quits (~td@94.134.91.249) (Ping timeout: 252 seconds) |
| 2021-05-28 02:36:05 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-28 02:37:05 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 02:37:11 | → | td_ joins (~td@muedsl-82-207-238-082.citykom.de) |
| 2021-05-28 02:37:16 | → | onion joins (~zzz@user/yin) |
| 2021-05-28 02:37:36 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 02:38:02 | × | jaevanko quits (~jaevanko@2600:1700:1330:2bef:1c80:6870:d96d:577b) (Quit: Leaving) |
| 2021-05-28 02:39:02 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 02:40:10 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 02:40:22 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-28 02:41:22 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 02:42:45 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 02:44:24 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 02:45:09 | → | berberman joins (~berberman@user/berberman) |
| 2021-05-28 02:45:22 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 02:45:36 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-28 02:45:51 | × | hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 2021-05-28 02:46:08 | → | hmmmas joins (~chenqisu1@183.217.202.217) |
| 2021-05-28 02:46:27 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-05-28 02:46:30 | × | berberman_ quits (~berberman@user/berberman) (Ping timeout: 264 seconds) |
| 2021-05-28 02:47:09 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-28 02:48:14 | × | Brumaire quits (~quassel@81-64-14-121.rev.numericable.fr) (Remote host closed the connection) |
| 2021-05-28 02:48:56 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-05-28 02:49:00 | → | winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-28 02:50:28 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 02:51:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-28 02:51:56 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-28 02:52:53 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
| 2021-05-28 02:54:46 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 02:55:47 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-28 02:56:40 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-28 02:57:19 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-28 02:57:55 | → | jaevanko joins (~jaevanko@2600:1700:1330:2bef:1c80:6870:d96d:577b) |
All times are in UTC.