Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 40 41 42 43 44 45 46 47 48 49 50 .. 17899
1,789,846 events total
2021-05-23 11:01:49 ddellacosta joins (~ddellacos@89.46.62.65)
2021-05-23 11:03:14 × sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 264 seconds)
2021-05-23 11:03:33 exzeta__ joins (~exzeta@client-8-84.eduroam.oxuni.org.uk)
2021-05-23 11:04:30 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-05-23 11:05:49 × radw quits (~radw@user/radw) (Quit: WeeChat 3.0.1)
2021-05-23 11:06:46 × ddellacosta quits (~ddellacos@89.46.62.65) (Ping timeout: 264 seconds)
2021-05-23 11:09:44 radw joins (~radw@user/radw)
2021-05-23 11:14:59 × a6a45081-2b83 quits (~aditya@122.163.181.9) (Remote host closed the connection)
2021-05-23 11:16:21 × radw quits (~radw@user/radw) (Quit: WeeChat 3.0.1)
2021-05-23 11:16:36 radw joins (~radw@user/radw)
2021-05-23 11:17:14 × Mark_ quits (uid14803@user/mark/x-9597255) (Quit: Connection closed for inactivity)
2021-05-23 11:20:03 xwx joins (~george@user/george)
2021-05-23 11:25:43 barryfm joins (~Barry@184-089-175-050.res.spectrum.com)
2021-05-23 11:28:47 × barryfm quits (~Barry@184-089-175-050.res.spectrum.com) (Client Quit)
2021-05-23 11:29:06 du is now known as uk
2021-05-23 11:29:43 × bezik quits (~bezik@static.172.45.47.78.clients.your-server.de) (Ping timeout: 245 seconds)
2021-05-23 11:30:45 minoru_shiraeesh joins (~shiraeesh@109.166.58.83)
2021-05-23 11:34:22 sondre joins (~sondrelun@cm-84.212.100.140.getinternet.no)
2021-05-23 11:40:57 edun joins (~edun@user/edun)
2021-05-23 11:41:19 Deide joins (~Deide@217.155.19.23)
2021-05-23 11:41:19 × Deide quits (~Deide@217.155.19.23) (Changing host)
2021-05-23 11:41:19 Deide joins (~Deide@user/deide)
2021-05-23 11:41:24 × edun quits (~edun@user/edun) (Client Quit)
2021-05-23 11:46:58 × xwx quits (~george@user/george) (Ping timeout: 264 seconds)
2021-05-23 11:50:06 <tomjaguarpaw> > \case { True -> 3; False -> 2 } $ (3>2)
2021-05-23 11:50:07 <lambdabot> 3
2021-05-23 11:50:29 imdoor joins (~imdoor@balticom-142-78-50.balticom.lv)
2021-05-23 11:56:24 xwx joins (~george@user/george)
2021-05-23 12:00:58 × coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-23 12:01:30 horex539 joins (~horex539@2a02:a03f:6aa5:a00:453e:7b5d:5266:64cc)
2021-05-23 12:02:01 × waleee-cl quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 265 seconds)
2021-05-23 12:03:59 waleee-cl joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2021-05-23 12:04:57 × oxide_ quits (~lambda@user/oxide) (Read error: Connection reset by peer)
2021-05-23 12:06:35 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-23 12:09:00 oxide joins (~lambda@user/oxide)
2021-05-23 12:11:12 × xwx quits (~george@user/george) (Ping timeout: 265 seconds)
2021-05-23 12:11:43 xwx joins (~george@user/george)
2021-05-23 12:21:52 smitop joins (uid328768@user/smitop)
2021-05-23 12:22:35 jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-23 12:24:23 jco joins (~jco@c83-248-173-38.bredband.tele2.se)
2021-05-23 12:25:55 <jco> Hi! Anyone here using `stylisk-haskell` with Haddock comments? I get this: http://ix.io/3nDi. The comment for each data constructor are moved to after the constructors, when running `stylish-haskell` on a buffer... Any idea if there is a configuration option to fix this?
2021-05-23 12:26:16 horex539_ joins (~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f)
2021-05-23 12:26:55 codedmart joins (~codedmart@li335-49.members.linode.com)
2021-05-23 12:27:02 wallymathieu joins (~wallymath@host-217-213-68-198.mobileonline.telia.com)
2021-05-23 12:27:09 × Brumaire quits (~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 265 seconds)
2021-05-23 12:27:57 × codedmart quits (~codedmart@li335-49.members.linode.com) (Client Quit)
2021-05-23 12:30:03 × horex539 quits (~horex539@2a02:a03f:6aa5:a00:453e:7b5d:5266:64cc) (Ping timeout: 265 seconds)
2021-05-23 12:33:15 × buggy quits (~buggy@user/smorgasbord) (Quit: Lost terminal)
2021-05-23 12:34:37 × horex539_ quits (~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f) (Remote host closed the connection)
2021-05-23 12:35:12 horex539 joins (~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f)
2021-05-23 12:37:04 unautre_ is now known as unautre
2021-05-23 12:37:56 × horex539 quits (~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f) (Remote host closed the connection)
2021-05-23 12:38:09 space-shell joins (5862f726@107.161.19.109)
2021-05-23 12:38:11 horex539 joins (~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f)
2021-05-23 12:40:01 coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-23 12:40:29 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-05-23 12:43:51 Brumaire joins (~quassel@81-64-14-121.rev.numericable.fr)
2021-05-23 12:45:08 × xwx quits (~george@user/george) (Ping timeout: 244 seconds)
2021-05-23 12:50:23 × hmmmas quits (~chenqisu1@183.217.200.8) (Quit: Leaving.)
2021-05-23 12:51:16 × juhp quits (~juhp@128.106.188.199) (Quit: juhp)
2021-05-23 12:51:29 juhp joins (~juhp@128.106.188.199)
2021-05-23 12:53:14 littlefinger joins (~00000000@selfhost1.threedot14.com)
2021-05-23 12:53:23 Rembane joins (~Rembane@li346-36.members.linode.com)
2021-05-23 12:53:55 × sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 244 seconds)
2021-05-23 12:55:58 yddern joins (~manjaro-u@78.156.4.58)
2021-05-23 12:58:33 vclerc joins (~vclerc@216.252.75.231)
2021-05-23 13:01:37 × vclerc quits (~vclerc@216.252.75.231) (Client Quit)
2021-05-23 13:03:17 ddellacosta joins (~ddellacos@89.46.62.35)
2021-05-23 13:07:58 × ddellacosta quits (~ddellacos@89.46.62.35) (Ping timeout: 264 seconds)
2021-05-23 13:08:30 cpape joins (~user@2a01:4f9:c010:632d::1)
2021-05-23 13:09:15 haskman joins (~haskman@106.215.24.177)
2021-05-23 13:10:41 × wallymathieu quits (~wallymath@host-217-213-68-198.mobileonline.telia.com) (Read error: Connection reset by peer)
2021-05-23 13:15:32 ddellacosta joins (~ddellacos@86.106.121.100)
2021-05-23 13:23:11 × horex539 quits (~horex539@2a02:a03f:6aa5:a00:99ba:ce66:d1df:5d0f) (Remote host closed the connection)
2021-05-23 13:27:22 boxscape joins (4ff0bb95@user/boxscape)
2021-05-23 13:27:59 Fare joins (~fare@c-66-31-47-143.hsd1.ma.comcast.net)
2021-05-23 13:30:13 raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-23 13:33:52 allbery_b is now known as geekosaur
2021-05-23 13:33:53 × Morrow quits (~Morrow@147.161.15.179) (Read error: Connection reset by peer)
2021-05-23 13:34:50 Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-05-23 13:36:51 × littlefinger quits (~00000000@selfhost1.threedot14.com) (Quit: Client closed)
2021-05-23 13:37:05 tose joins (~tose@ip-37-188-160-86.eurotel.cz)
2021-05-23 13:41:36 × juhp quits (~juhp@128.106.188.199) (Quit: juhp)
2021-05-23 13:41:49 juhp joins (~juhp@128.106.188.199)
2021-05-23 13:49:22 × exzeta__ quits (~exzeta@client-8-84.eduroam.oxuni.org.uk) (Ping timeout: 264 seconds)
2021-05-23 13:51:10 slowButPresent joins (~slowButPr@user/slowbutpresent)
2021-05-23 13:53:34 × raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-05-23 13:53:34 × minoru_shiraeesh quits (~shiraeesh@109.166.58.83) (Read error: Connection reset by peer)
2021-05-23 13:53:59 × biberu quits (~biberu@user/biberu) (Quit: ZNC - https://znc.in)
2021-05-23 13:54:59 edun joins (~edun@user/edun)
2021-05-23 13:56:50 yorick joins (~yorick@user/yorick)
2021-05-23 13:57:02 × yorick quits (~yorick@user/yorick) (Quit: see you on libera)
2021-05-23 13:58:38 yorick joins (~yorick@user/yorick)
2021-05-23 14:00:42 exzeta__ joins (~exzeta@client-8-84.eduroam.oxuni.org.uk)
2021-05-23 14:01:23 × haskman quits (~haskman@106.215.24.177) (Quit: Going to sleep. ZZZzzz…)
2021-05-23 14:02:02 biberu joins (~biberu@user/biberu)
2021-05-23 14:11:51 × cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds)
2021-05-23 14:12:04 cheater joins (~Username@user/cheater)
2021-05-23 14:13:26 × tose quits (~tose@ip-37-188-160-86.eurotel.cz) (Ping timeout: 264 seconds)
2021-05-23 14:13:35 edun is now known as qb
←Prev  Next→
Page 1 .. 40 41 42 43 44 45 46 47 48 49 50 .. 17899

All times are in UTC.