Logs: liberachat/#haskell
| 2021-05-21 08:00:58 | → | ircbrowse_tom joins (~ircbrowse@64.225.78.177) |
| 2021-05-21 08:00:58 | Server | sets mode +nt |
| 2021-05-21 08:01:41 | × | heath quits (~heath@68.68.64.38) (Ping timeout: 258 seconds) |
| 2021-05-21 08:01:42 | → | nitrix joins (~nitrix@ns569831.ip-51-79-81.net) |
| 2021-05-21 08:02:05 | nitrix | is now known as Guest7426 |
| 2021-05-21 08:04:30 | → | killsushi_ joins (~killsushi@2607:fea8:3d40:767:707b:b3b8:c407:1243) |
| 2021-05-21 08:04:30 | × | killsushi_ quits (~killsushi@2607:fea8:3d40:767:707b:b3b8:c407:1243) (Changing host) |
| 2021-05-21 08:04:30 | → | killsushi_ joins (~killsushi@user/killsushi/x-5912268) |
| 2021-05-21 08:05:11 | → | GZJ0X_ joins (~GZJ0X@185.212.59.97.16clouds.com) |
| 2021-05-21 08:06:26 | → | pe200012 joins (~pe200012@218.107.17.245) |
| 2021-05-21 08:06:48 | × | tose quits (~tose@ip-85-160-9-220.eurotel.cz) (Ping timeout: 245 seconds) |
| 2021-05-21 08:08:15 | → | nitrix joins (~nitrix@ns569831.ip-51-79-81.net) |
| 2021-05-21 08:08:33 | → | obfusk_ joins (~quassel@a82-161-150-56.adsl.xs4all.nl) |
| 2021-05-21 08:08:38 | nitrix | is now known as Guest3497 |
| 2021-05-21 08:08:40 | × | aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-21 08:08:48 | → | jco_ joins (~jco@c83-248-173-38.bredband.tele2.se) |
| 2021-05-21 08:09:45 | → | lortabac_ joins (~lortabac@2a01:e0a:541:b8f0:9c88:d7f4:4abf:ede1) |
| 2021-05-21 08:10:58 | → | sszark1 joins (~sszark@h-85-24-213-180.A392.priv.bahnhof.se) |
| 2021-05-21 08:11:09 | × | pe200012 quits (~pe200012@218.107.17.245) (Quit: Konversation terminated!) |
| 2021-05-21 08:11:34 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2021-05-21 08:11:59 | → | pe200012 joins (~pe200012@119.131.208.84) |
| 2021-05-21 08:12:36 | → | russruss1 joins (~russruss@my.russellmcc.com) |
| 2021-05-21 08:13:07 | × | flounders quits (~flounders@173.246.200.33) (Remote host closed the connection) |
| 2021-05-21 08:13:30 | → | flounders joins (~flounders@173.246.200.33) |
| 2021-05-21 08:13:53 | × | jonn quits (~sweater@206.81.18.26) (Ping timeout: 264 seconds) |
| 2021-05-21 08:13:59 | × | Guest7426 quits (~nitrix@ns569831.ip-51-79-81.net) (*.net *.split) |
| 2021-05-21 08:13:59 | × | gzj quits (~GZJ0X@185.212.59.97.16clouds.com) (*.net *.split) |
| 2021-05-21 08:13:59 | × | pe200012_ quits (~pe200012@120.236.162.14) (*.net *.split) |
| 2021-05-21 08:13:59 | × | notzmv quits (~zmv@user/notzmv) (*.net *.split) |
| 2021-05-21 08:13:59 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:9c88:d7f4:4abf:ede1) (*.net *.split) |
| 2021-05-21 08:13:59 | × | killsushi quits (~killsushi@user/killsushi) (*.net *.split) |
| 2021-05-21 08:13:59 | × | jco quits (~jco@c83-248-173-38.bredband.tele2.se) (*.net *.split) |
| 2021-05-21 08:13:59 | × | Square quits (~Squarism4@90-231-27-135-no51.tbcn.telia.com) (*.net *.split) |
| 2021-05-21 08:13:59 | × | russruss quits (~russruss@my.russellmcc.com) (*.net *.split) |
| 2021-05-21 08:13:59 | × | obfusk quits (~quassel@a82-161-150-56.adsl.xs4all.nl) (*.net *.split) |
| 2021-05-21 08:13:59 | × | sszark quits (~sszark@h-85-24-213-180.A392.priv.bahnhof.se) (*.net *.split) |
| 2021-05-21 08:13:59 | russruss1 | is now known as russruss |
| 2021-05-21 08:15:05 | × | SethTisue quits (sid14912@charlton.irccloud.com) (Ping timeout: 264 seconds) |
| 2021-05-21 08:15:05 | × | Ekho quits (~Ekho@user/ekho) (Ping timeout: 264 seconds) |
| 2021-05-21 08:15:08 | → | heath joins (~heath@68.68.64.38) |
| 2021-05-21 08:15:29 | → | jonn joins (~sweater@206.81.18.26) |
| 2021-05-21 08:16:17 | → | SethTisue joins (sid14912@id-14912.charlton.irccloud.com) |
| 2021-05-21 08:16:27 | → | Ekho joins (~Ekho@user/ekho) |
| 2021-05-21 08:16:58 | × | stefan-_ quits (~cri@42dots.de) (Ping timeout: 264 seconds) |
| 2021-05-21 08:17:51 | × | jhill quits (sid1055@tinside.irccloud.com) (Ping timeout: 264 seconds) |
| 2021-05-21 08:17:51 | × | Xe quits (~cadey@user/xe) (Ping timeout: 264 seconds) |
| 2021-05-21 08:17:52 | → | stefan-_ joins (~cri@42dots.de) |
| 2021-05-21 08:17:54 | → | Cadey joins (~cadey@user/xe) |
| 2021-05-21 08:18:05 | × | acowley quits (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-21 08:18:07 | → | jhill_ joins (sid1055@id-1055.tinside.irccloud.com) |
| 2021-05-21 08:18:51 | → | ddellacosta joins (~ddellacos@89.46.62.33) |
| 2021-05-21 08:19:09 | → | jakzale joins (uid499518@id-499518.charlton.irccloud.com) |
| 2021-05-21 08:19:43 | × | heath quits (~heath@68.68.64.38) (Ping timeout: 245 seconds) |
| 2021-05-21 08:20:00 | → | amk joins (~amk@176.61.106.150) |
| 2021-05-21 08:20:26 | → | Square joins (~Squarism4@90-231-27-135-no51.tbcn.telia.com) |
| 2021-05-21 08:20:29 | × | nsilv quits (~nsilv@212.103.198.210) (Ping timeout: 248 seconds) |
| 2021-05-21 08:20:42 | → | acowley joins (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 2021-05-21 08:21:06 | × | GZJ0X_ quits (~GZJ0X@185.212.59.97.16clouds.com) (Remote host closed the connection) |
| 2021-05-21 08:23:03 | × | ddellacosta quits (~ddellacos@89.46.62.33) (Ping timeout: 245 seconds) |
| 2021-05-21 08:24:15 | → | gzj joins (~GZJ0X@185.212.59.97.16clouds.com) |
| 2021-05-21 08:24:17 | × | stefan-_ quits (~cri@42dots.de) (Quit: ZNC 1.6.3+deb1ubuntu0.2 - http://znc.in) |
| 2021-05-21 08:24:30 | → | stefan-_ joins (~cri@42dots.de) |
| 2021-05-21 08:25:19 | → | heath joins (~heath@68.68.64.38) |
| 2021-05-21 08:26:20 | → | nsilv joins (~nsilv@212.103.198.210) |
| 2021-05-21 08:28:23 | → | sondre joins (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) |
| 2021-05-21 08:31:35 | × | Morrow quits (~Morrow@147.161.13.14) (Ping timeout: 265 seconds) |
| 2021-05-21 08:31:35 | × | jco_ quits (~jco@c83-248-173-38.bredband.tele2.se) (Read error: Connection reset by peer) |
| 2021-05-21 08:33:28 | × | heath quits (~heath@68.68.64.38) (Ping timeout: 245 seconds) |
| 2021-05-21 08:36:35 | → | heath joins (~heath@68.68.64.38) |
| 2021-05-21 08:38:29 | × | horex539 quits (~horex539@2a02:a03f:6aa5:a00:5506:236:73f0:6f7a) (Remote host closed the connection) |
| 2021-05-21 08:38:57 | → | xwx joins (~george@user/george) |
| 2021-05-21 08:39:03 | → | exzeta joins (~exzeta@client-8-84.eduroam.oxuni.org.uk) |
| 2021-05-21 08:40:46 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-21 08:41:14 | → | peterd joins (~petrus@catv-86-101-33-147.catv.broadband.hu) |
| 2021-05-21 08:42:59 | → | horex539 joins (~horex539@2a02:a03f:6aa5:a00:5506:236:73f0:6f7a) |
| 2021-05-21 08:43:53 | → | irc_user joins (uid423822@id-423822.tooting.irccloud.com) |
| 2021-05-21 08:43:53 | × | heath quits (~heath@68.68.64.38) (Ping timeout: 260 seconds) |
| 2021-05-21 08:43:55 | → | xaotuk joins (~xaotuk@89.110.231.41) |
| 2021-05-21 08:45:08 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-05-21 08:45:20 | → | heath joins (~heath@68.68.64.38) |
| 2021-05-21 08:45:21 | × | xaotuk quits (~xaotuk@89.110.231.41) (Quit: WeeChat 3.1) |
| 2021-05-21 08:48:55 | → | scav joins (sid309693@id-309693.brockwell.irccloud.com) |
| 2021-05-21 08:49:39 | → | amahl joins (~amahl@dxv5skyhvr3g5s4my3mky-3.rev.dnainternet.fi) |
| 2021-05-21 08:49:49 | × | heath quits (~heath@68.68.64.38) (Ping timeout: 248 seconds) |
| 2021-05-21 08:51:28 | → | heath joins (~heath@68.68.64.38) |
| 2021-05-21 08:51:49 | → | xaotuk joins (~xaotuk@89.110.231.41) |
| 2021-05-21 08:53:44 | × | scav quits (sid309693@id-309693.brockwell.irccloud.com) () |
| 2021-05-21 08:53:56 | → | scav joins (sid309693@id-309693.brockwell.irccloud.com) |
| 2021-05-21 08:54:41 | × | fendor_ quits (~fendor@178.115.59.240.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-05-21 08:56:08 | × | heath quits (~heath@68.68.64.38) (Ping timeout: 260 seconds) |
| 2021-05-21 08:56:25 | → | Robin_Jadoul joins (~Robin_Jad@152.67.64.160) |
| 2021-05-21 08:56:59 | × | horex539 quits (~horex539@2a02:a03f:6aa5:a00:5506:236:73f0:6f7a) (Remote host closed the connection) |
| 2021-05-21 08:57:17 | <pe200012> | |
| 2021-05-21 08:57:19 | <lambdabot> | <() -> IO ()> |
| 2021-05-21 08:57:38 | <pe200012> | > print 1 |
| 2021-05-21 08:57:40 | <lambdabot> | <IO ()> |
| 2021-05-21 08:57:54 | <pe200012> | > (+1) <$> [1.10 ^ 10] |
| 2021-05-21 08:57:56 | <lambdabot> | [3.593742460100002] |
| 2021-05-21 08:57:56 | dminuoso | prepares his MMR answer card for pe200012 |
| 2021-05-21 08:59:16 | → | heath joins (~heath@68.68.64.38) |
All times are in UTC.