Logs: freenode/#haskell
| 2021-05-06 11:11:51 | × | mav1 quits (~mav@ip-95-223-69-160.hsi16.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 2021-05-06 11:18:00 | <Gurkenglas_> | Is there a type of statements whose definedness relation is implication? |
| 2021-05-06 11:18:05 | Gurkenglas_ | is now known as Gurkenglas |
| 2021-05-06 11:21:12 | → | superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 2021-05-06 11:21:49 | <superstar64> | why does cabal's --help and man page not mention `cabal format` is a thing? |
| 2021-05-06 11:21:57 | <superstar64> | it would have been nice to have known that earlier |
| 2021-05-06 11:22:12 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-06 11:23:13 | <maerwald> | my impressin is that --help is barely maintained |
| 2021-05-06 11:24:15 | <merijn> | superstar64: Because it's new and beta? :) |
| 2021-05-06 11:24:19 | <merijn> | iirc |
| 2021-05-06 11:31:11 | × | kderme quits (2e675c7c@46-92-124.adsl.cyta.gr) (Quit: Connection closed) |
| 2021-05-06 11:31:54 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 2.8) |
| 2021-05-06 11:32:46 | <jackdk> | wait, since when is `cabal format` a thing? I've been using `cabal-fmt` |
| 2021-05-06 11:36:07 | <maerwald> | cabal-fmt is olegs style and has some more features |
| 2021-05-06 11:36:56 | → | carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2021-05-06 11:37:46 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-06 11:40:12 | → | kderme joins (2e675c7c@46-92-124.adsl.cyta.gr) |
| 2021-05-06 11:44:40 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-06 11:45:05 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-05-06 11:46:14 | → | todda7 joins (~torstein@paroswaw.static.otenet.gr) |
| 2021-05-06 11:46:31 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Read error: Connection reset by peer) |
| 2021-05-06 11:46:47 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 2021-05-06 11:47:26 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-06 11:48:53 | × | swater quits (bouhier200@perso.iiens.net) (Ping timeout: 252 seconds) |
| 2021-05-06 11:49:53 | → | swater joins (bouhier200@perso.iiens.net) |
| 2021-05-06 11:50:03 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 268 seconds) |
| 2021-05-06 11:50:42 | × | plutoniix quits (~q@ppp-58-8-148-20.revip2.asianet.co.th) (Quit: Leaving) |
| 2021-05-06 11:51:11 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-06 11:51:45 | → | cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-05-06 11:52:11 | × | todda7 quits (~torstein@paroswaw.static.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-05-06 11:52:27 | × | torax quits (~torax@139.28.218.148) (Remote host closed the connection) |
| 2021-05-06 11:53:26 | → | todda7 joins (~torstein@2a02:587:3729:a000:617f:af59:a7e0:feaf) |
| 2021-05-06 11:56:34 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-06 12:00:07 | × | todda7 quits (~torstein@2a02:587:3729:a000:617f:af59:a7e0:feaf) (Ping timeout: 260 seconds) |
| 2021-05-06 12:00:07 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-06 12:10:10 | × | poljar quits (~poljar@93-139-14-190.adsl.net.t-com.hr) (Remote host closed the connection) |
| 2021-05-06 12:11:13 | → | carlomagno joins (~cararell@148.87.23.8) |
| 2021-05-06 12:12:35 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-05-06 12:13:27 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-06 12:14:15 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-05-06 12:15:11 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 2021-05-06 12:17:01 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 2021-05-06 12:17:11 | → | orion`1 joins (~orion`@195.140.213.38) |
| 2021-05-06 12:18:45 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 2021-05-06 12:21:51 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-05-06 12:26:29 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Remote host closed the connection) |
| 2021-05-06 12:26:47 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 2021-05-06 12:27:39 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 260 seconds) |
| 2021-05-06 12:28:23 | → | poljar joins (~poljar@93-139-14-190.adsl.net.t-com.hr) |
| 2021-05-06 12:28:39 | × | poljar quits (~poljar@93-139-14-190.adsl.net.t-com.hr) (Client Quit) |
| 2021-05-06 12:29:33 | → | poljar joins (~poljar@93-139-14-190.adsl.net.t-com.hr) |
| 2021-05-06 12:31:36 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-06 12:36:57 | × | poljar quits (~poljar@93-139-14-190.adsl.net.t-com.hr) (Quit: WeeChat 3.1) |
| 2021-05-06 12:37:30 | → | poljar joins (~poljar@93-139-14-190.adsl.net.t-com.hr) |
| 2021-05-06 12:38:26 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-06 12:40:20 | → | bahamas joins (~lucian@188.27.62.94) |
| 2021-05-06 12:40:21 | × | bahamas quits (~lucian@188.27.62.94) (Changing host) |
| 2021-05-06 12:40:21 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-05-06 12:40:26 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-05-06 12:40:33 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds) |
| 2021-05-06 12:42:29 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 245 seconds) |
| 2021-05-06 12:42:48 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-05-06 12:44:42 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-06 12:45:44 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) |
| 2021-05-06 12:47:07 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-06 12:50:22 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) (Ping timeout: 276 seconds) |
| 2021-05-06 12:51:53 | → | ram19890 joins (~ram@49.205.84.15) |
| 2021-05-06 12:54:50 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-05-06 12:58:57 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-06 12:59:16 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-06 12:59:17 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 2021-05-06 13:00:25 | → | andreabedini joins (~andreabed@8s8kj6ngrm58rlqkgtwc.ip6.superloop.com) |
| 2021-05-06 13:02:37 | <cheater> | what's the difference in style |
| 2021-05-06 13:02:55 | <cheater> | or let me ask differently, which one uses two column indent instead of banner style |
| 2021-05-06 13:04:32 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-06 13:05:27 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) |
| 2021-05-06 13:05:40 | <cheater> | (or possibly 4 col indent) |
| 2021-05-06 13:06:39 | × | andreabedini quits (~andreabed@8s8kj6ngrm58rlqkgtwc.ip6.superloop.com) (Quit: WeeChat 3.1) |
| 2021-05-06 13:07:10 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-05-06 13:08:43 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) |
| 2021-05-06 13:09:14 | → | outer_passage joins (~outerpass@2600:1700:4640:c560:bda0:7dae:880f:7b35) |
| 2021-05-06 13:09:41 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 240 seconds) |
| 2021-05-06 13:12:44 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-06 13:16:57 | → | anandprabhu_ joins (~AnandPrab@94.202.236.255) |
| 2021-05-06 13:17:09 | × | undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Remote host closed the connection) |
| 2021-05-06 13:17:23 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 2021-05-06 13:17:52 | × | outer_passage quits (~outerpass@2600:1700:4640:c560:bda0:7dae:880f:7b35) (Quit: WeeChat 2.7.1) |
| 2021-05-06 13:18:29 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-06 13:18:49 | × | ram19890 quits (~ram@49.205.84.15) (Quit: Konversation terminated!) |
| 2021-05-06 13:19:06 | × | anandprabhu quits (~AnandPrab@94.202.236.255) (Ping timeout: 240 seconds) |
| 2021-05-06 13:19:11 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-05-06 13:21:01 | → | anandprabhu__ joins (~AnandPrab@94.202.236.255) |
| 2021-05-06 13:21:11 | → | cheater joins (~user@unaffiliated/cheater) |
| 2021-05-06 13:21:50 | → | root____1 joins (~root@185.234.208.208.r.toneticgroup.pl) |
| 2021-05-06 13:22:11 | × | root____1 quits (~root@185.234.208.208.r.toneticgroup.pl) (Client Quit) |
| 2021-05-06 13:23:29 | × | anandprabhu_ quits (~AnandPrab@94.202.236.255) (Ping timeout: 252 seconds) |
| 2021-05-06 13:25:22 | → | undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-06 13:28:14 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-06 13:29:57 | → | anandprabhu_ joins (~AnandPrab@94.202.236.255) |
| 2021-05-06 13:32:19 | × | anandprabhu__ quits (~AnandPrab@94.202.236.255) (Ping timeout: 240 seconds) |
All times are in UTC.