Logs: liberachat/#haskell
| 2021-05-27 00:05:37 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-05-27 00:07:32 | → | gzj joins (~GZJ0X@185.212.59.97.16clouds.com) |
| 2021-05-27 00:07:48 | → | trent joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-27 00:09:37 | → | ddellacosta joins (~ddellacos@89.46.62.66) |
| 2021-05-27 00:10:22 | × | noddy quits (~self@user/noddy) (Ping timeout: 264 seconds) |
| 2021-05-27 00:11:05 | × | zeenk quits (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!) |
| 2021-05-27 00:11:17 | × | tricklynch quits (~tricklync@216-180-94-57.starry-inc.net) (Ping timeout: 252 seconds) |
| 2021-05-27 00:11:31 | × | danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.1) |
| 2021-05-27 00:12:18 | → | kollin joins (~kollin@95-25-152-112.broadband.corbina.ru) |
| 2021-05-27 00:12:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-27 00:13:58 | × | Robin_Jadoul quits (~Robin_Jad@152.67.64.160) (Ping timeout: 264 seconds) |
| 2021-05-27 00:14:03 | × | ddellacosta quits (~ddellacos@89.46.62.66) (Ping timeout: 264 seconds) |
| 2021-05-27 00:14:05 | <monochrom> | Uh this only reminds me that every algorithm corresponds to a natural number... |
| 2021-05-27 00:15:00 | <kollin> | up to enumeration scheme |
| 2021-05-27 00:15:23 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds) |
| 2021-05-27 00:15:45 | <monochrom> | There exists an operator # such that for every desired output y there exists a number x such that "monochrom" # x = y. This makes my nick look very fundamental and universal... |
| 2021-05-27 00:18:17 | <kollin> | (was just checking if #haskell is available from libera) |
| 2021-05-27 00:18:23 | × | kollin quits (~kollin@95-25-152-112.broadband.corbina.ru) (Quit: Connection closed) |
| 2021-05-27 00:18:43 | <monochrom> | COME BACK!!!!! |
| 2021-05-27 00:19:11 | × | orion quits (~orion@user/orion) (Ping timeout: 272 seconds) |
| 2021-05-27 00:19:27 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-05-27 00:19:51 | → | orion joins (~orion@user/orion) |
| 2021-05-27 00:19:53 | × | moet quits (~moet@172.58.35.192) (Read error: Connection reset by peer) |
| 2021-05-27 00:20:08 | → | moet joins (~moet@172.58.35.192) |
| 2021-05-27 00:20:38 | × | ikex quits (~ash@user/ikex) (Ping timeout: 252 seconds) |
| 2021-05-27 00:21:09 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-27 00:21:14 | × | dunj3 quits (~dunj3@2001:16b8:30e3:e400:e945:12f3:ab36:6c09) (Quit: Leaving) |
| 2021-05-27 00:22:02 | × | trent quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Quit: WeeChat 3.1) |
| 2021-05-27 00:24:27 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-27 00:25:02 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 252 seconds) |
| 2021-05-27 00:25:28 | → | ddellacosta joins (~ddellacos@86.106.121.36) |
| 2021-05-27 00:26:06 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-27 00:26:21 | × | moet quits (~moet@172.58.35.192) (Ping timeout: 272 seconds) |
| 2021-05-27 00:27:10 | × | guest0123 quits (~aaron@2601:602:a080:fa0:745b:c700:b4c:aac3) (Ping timeout: 264 seconds) |
| 2021-05-27 00:29:16 | → | codedmart joins (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 2021-05-27 00:29:21 | → | danso joins (~danso@23-233-111-52.cpe.pppoe.ca) |
| 2021-05-27 00:30:03 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-05-27 00:30:03 | × | hounded quits (~hounded@2603-7000-2145-c400-0000-0000-0000-0004.res6.spectrum.com) (Quit: Leaving) |
| 2021-05-27 00:30:18 | × | ddellacosta quits (~ddellacos@86.106.121.36) (Ping timeout: 264 seconds) |
| 2021-05-27 00:31:40 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-05-27 00:31:47 | × | Mark_ quits (uid14803@user/mark/x-9597255) (Quit: Connection closed for inactivity) |
| 2021-05-27 00:36:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-27 00:36:26 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 244 seconds) |
| 2021-05-27 00:39:29 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 2021-05-27 00:39:54 | × | dmwit quits (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Quit: lol) |
| 2021-05-27 00:40:06 | → | da39a3ee5e6b4b0d joins (~textual@2403:6200:8876:ee80:d1f8:2f2f:4629:dfc9) |
| 2021-05-27 00:40:53 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 2021-05-27 00:40:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-27 00:42:01 | × | Aran quits (~Aran@port-92-194-80-170.dynamic.as20676.net) (Quit: Leaving) |
| 2021-05-27 00:43:48 | → | joniibou joins (~joniibou@softbank060120010042.bbtec.net) |
| 2021-05-27 00:43:56 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2021-05-27 00:44:26 | → | ddellacosta joins (~ddellacos@86.106.121.115) |
| 2021-05-27 00:45:43 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2021-05-27 00:45:46 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-05-27 00:48:41 | × | ddellacosta quits (~ddellacos@86.106.121.115) (Ping timeout: 252 seconds) |
| 2021-05-27 00:49:14 | → | noddy joins (~self@c6a7c7c7.vpn.njalla.net) |
| 2021-05-27 00:49:14 | × | noddy quits (~self@c6a7c7c7.vpn.njalla.net) (Changing host) |
| 2021-05-27 00:49:14 | → | noddy joins (~self@user/noddy) |
| 2021-05-27 00:49:52 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
| 2021-05-27 00:50:08 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Quit: Leaving) |
| 2021-05-27 00:50:32 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 2021-05-27 00:50:56 | → | tA joins (~thorn@121.220.36.168) |
| 2021-05-27 00:51:58 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-27 00:53:02 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Client Quit) |
| 2021-05-27 00:53:28 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 2021-05-27 00:56:04 | × | gzj quits (~GZJ0X@185.212.59.97.16clouds.com) (Ping timeout: 264 seconds) |
| 2021-05-27 00:56:05 | → | vonfry joins (~user@240e:688:3:1010:d165:d0b6:b436:8121) |
| 2021-05-27 00:58:47 | × | gambpang quits (~ian@207.181.230.156) (Remote host closed the connection) |
| 2021-05-27 00:59:36 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Remote host closed the connection) |
| 2021-05-27 00:59:41 | → | hmmmas joins (~chenqisu1@183.217.202.217) |
| 2021-05-27 00:59:58 | × | hmmmas quits (~chenqisu1@183.217.202.217) (Client Quit) |
| 2021-05-27 01:01:19 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 2021-05-27 01:01:19 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Remote host closed the connection) |
| 2021-05-27 01:02:51 | Guest98 | is now known as AdmiralBumbleBee |
| 2021-05-27 01:03:10 | → | ddellacosta joins (~ddellacos@86.106.121.86) |
| 2021-05-27 01:04:03 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 2021-05-27 01:04:27 | × | spirgel quits (~spirgel@81.92.200.60) () |
| 2021-05-27 01:04:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-27 01:06:35 | × | zzing quits (~zzing@d24-57-14-115.home.cgocable.net) () |
| 2021-05-27 01:07:19 | × | xff0x quits (~xff0x@2001:1a81:5359:7600:b228:4a6c:72ab:2551) (Ping timeout: 272 seconds) |
| 2021-05-27 01:07:58 | × | kewa quits (~kewa@5.138.211.57) (Ping timeout: 264 seconds) |
| 2021-05-27 01:08:09 | × | ddellacosta quits (~ddellacos@86.106.121.86) (Ping timeout: 272 seconds) |
| 2021-05-27 01:08:28 | → | hmmmas joins (~chenqisu1@183.217.202.217) |
| 2021-05-27 01:08:32 | → | xff0x joins (~xff0x@2001:1a81:5398:5c00:c47d:75cc:a946:f749) |
| 2021-05-27 01:10:27 | × | dy quits (~dy@user/dy) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-27 01:10:55 | → | dy joins (~dy@user/dy) |
| 2021-05-27 01:10:56 | × | AdmiralBumbleBee quits (~textual@47.203.170.49) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-27 01:14:09 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds) |
| 2021-05-27 01:14:20 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-05-27 01:16:11 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-05-27 01:16:14 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 2021-05-27 01:18:16 | → | plateno joins (~plateno@safiro.ggpz.space) |
| 2021-05-27 01:18:46 | × | lbseale__ quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-05-27 01:20:10 | → | ddellacosta joins (~ddellacos@89.46.62.75) |
| 2021-05-27 01:21:21 | → | lbseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-27 01:21:30 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-27 01:23:15 | → | learner-monad joins (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) |
| 2021-05-27 01:23:50 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-27 01:24:46 | × | ddellacosta quits (~ddellacos@89.46.62.75) (Ping timeout: 264 seconds) |
| 2021-05-27 01:25:53 | dy | is now known as Guest9477 |
All times are in UTC.