Logs: liberachat/#haskell
| 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 |
All times are in UTC.