Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 838 839 840 841 842 843 844 845 846 847 848 .. 5022
— 502,152 events total
2020-10-24 13:51:14 × fendor quits (~fendor@178.115.130.82.wireless.dyn.drei.com) (Ping timeout: 258 seconds)
2020-10-24 13:52:32 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-24 13:55:55 → Chi1thangoo joins (~Chi1thang@87.112.60.168)
2020-10-24 13:56:12 × jsynacek_ quits (~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 260 seconds)
2020-10-24 13:56:20 → toorevitimirp joins (~tooreviti@117.182.180.36)
2020-10-24 13:57:02 → shatriff joins (~vitaliish@176.52.219.10)
2020-10-24 13:58:02 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-24 14:00:45 × carlomagno quits (~cararell@148.87.23.12) (Remote host closed the connection)
2020-10-24 14:02:57 hackage context 0.1.1.0 - Thread-indexed, nested contexts https://hackage.haskell.org/package/context-0.1.1.0 (jship)
2020-10-24 14:03:37 → carlomagno joins (~cararell@148.87.23.7)
2020-10-24 14:03:45 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 14:03:54 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-24 14:04:35 × carlomagno quits (~cararell@148.87.23.7) (Remote host closed the connection)
2020-10-24 14:05:27 hackage rank1dynamic 0.4.1 - Like Data.Dynamic/Data.Typeable but with support for rank-1 polymorphic types https://hackage.haskell.org/package/rank1dynamic-0.4.1 (FacundoDominguez)
2020-10-24 14:06:05 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-24 14:08:16 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2020-10-24 14:08:58 × tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) (Read error: Connection reset by peer)
2020-10-24 14:09:19 × bartemius quits (~bartemius@109-252-20-20.nat.spd-mgts.ru) ()
2020-10-24 14:09:39 → bartemius joins (~bartemius@109.252.20.20)
2020-10-24 14:12:13 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 14:12:23 → vacm joins (~vacwm@70.23.92.191)
2020-10-24 14:21:23 → dyeplexer joins (~lol@unaffiliated/terpin)
2020-10-24 14:23:02 → carlomagno joins (~cararell@148.87.23.5)
2020-10-24 14:25:00 × texasmyn_ quits (~texasmyns@62.182.99.148) (Remote host closed the connection)
2020-10-24 14:25:19 → texasmynsted joins (~texasmyns@62.182.99.148)
2020-10-24 14:26:39 → tsrt^ joins (tsrt@ip98-184-89-2.mc.at.cox.net)
2020-10-24 14:27:34 → MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone)
2020-10-24 14:30:42 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 14:31:33 → machinedgod joins (~machinedg@24.105.81.50)
2020-10-24 14:35:52 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 260 seconds)
2020-10-24 14:38:45 × dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 240 seconds)
2020-10-24 14:38:47 × ericsagnes quits (~ericsagne@2405:6580:0:5100:551f:7c48:a755:a572) (Ping timeout: 260 seconds)
2020-10-24 14:38:51 → dyeplexer joins (~lol@unaffiliated/terpin)
2020-10-24 14:41:36 → thevishy joins (~Nishant@103.210.43.2)
2020-10-24 14:42:46 × HarveyPwca quits (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Ping timeout: 272 seconds)
2020-10-24 14:43:17 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 14:43:56 → meinhof joins (b2f6bcc4@178.246.188.196)
2020-10-24 14:44:00 × bartemius quits (~bartemius@109.252.20.20) (Remote host closed the connection)
2020-10-24 14:48:28 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-24 14:50:33 → ericsagnes joins (~ericsagne@2405:6580:0:5100:7496:5c58:dab0:e60e)
2020-10-24 14:51:05 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-24 14:51:24 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 14:51:44 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 14:51:51 → alp joins (~alp@2a01:e0a:58b:4920:f8ae:1b82:109a:d6a2)
2020-10-24 14:52:12 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 14:52:32 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 14:52:59 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 14:53:16 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 14:53:47 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 14:54:45 → thir joins (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-24 14:55:06 → ruljak joins (5cf785e2@92.247.133.226)
2020-10-24 14:57:30 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-10-24 14:58:39 → damianfral joins (~damianfra@177.red-2-142-221.dynamicip.rima-tde.net)
2020-10-24 14:59:27 × thir quits (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 15:00:35 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-24 15:03:40 × junjie quits (~Thunderbi@112.49.232.164) (Quit: junjie)
2020-10-24 15:04:25 × dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 264 seconds)
2020-10-24 15:04:51 → renzhi joins (~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-10-24 15:05:00 → acidjnk_new3 joins (~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de)
2020-10-24 15:05:38 → dyeplexer joins (~lol@unaffiliated/terpin)
2020-10-24 15:09:32 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 15:09:58 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 15:10:30 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-10-24 15:13:53 → jsynacek_ joins (~jsynacek@ip-185-149-130-112.kmenet.cz)
2020-10-24 15:14:16 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-24 15:15:35 → thir joins (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-24 15:16:02 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-10-24 15:16:06 × raichoo quits (~raichoo@dslb-178-001-019-190.178.001.pools.vodafone-ip.de) (Quit: Lost terminal)
2020-10-24 15:17:52 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 258 seconds)
2020-10-24 15:18:33 <maerwald> https://github.com/pcapriotti/optparse-applicative/issues/148 the problem with DSLs... you can never anticipate all use cases
2020-10-24 15:19:47 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2020-10-24 15:20:05 × berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-24 15:20:12 × thir quits (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 15:20:29 → berberman joins (~berberman@unaffiliated/berberman)
2020-10-24 15:20:37 × texasmynsted quits (~texasmyns@62.182.99.148) (Remote host closed the connection)
2020-10-24 15:21:17 → Lord_of_Life joins (~Lord@46.217.218.96)
2020-10-24 15:21:18 × Lord_of_Life quits (~Lord@46.217.218.96) (Changing host)
2020-10-24 15:21:18 → Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-24 15:21:57 × dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 260 seconds)
2020-10-24 15:22:37 → dyeplexer joins (~lol@unaffiliated/terpin)
2020-10-24 15:22:42 → jedws joins (~jedws@101.184.148.229)
2020-10-24 15:23:14 × jsynacek_ quits (~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 258 seconds)
2020-10-24 15:24:34 × meinhof quits (b2f6bcc4@178.246.188.196) (Remote host closed the connection)
2020-10-24 15:24:38 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 15:25:29 → HarveyPwca joins (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2020-10-24 15:26:45 × jedws quits (~jedws@101.184.148.229) (Ping timeout: 240 seconds)
2020-10-24 15:30:49 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-mwjmzzijsisquogc) (Quit: Connection closed for inactivity)
2020-10-24 15:30:51 → irc_user joins (uid423822@gateway/web/irccloud.com/x-ypwtewedsewvdlne)
2020-10-24 15:31:11 <merijn> maerwald: But you can mostly already implement that behaviour?
2020-10-24 15:31:28 <maerwald> yeah, it doesn't render properly though
2020-10-24 15:31:52 <maerwald> e.g. in stack cli you have: --[no-]dump-logs
2020-10-24 15:31:55 <maerwald> that's proper
2020-10-24 15:32:02 <merijn> ah, right, but then what you want is probably just "better control over help text", which is somewhere deep down my todo list :p
2020-10-24 15:32:12 × coot quits (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-24 15:32:50 <maerwald> in the end you're messing with the internals, which is what I don't like... mix of high-level and low-level API is always awkward
2020-10-24 15:34:09 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-qblnjbdvopnophrh)
2020-10-24 15:34:35 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-24 15:35:15 × polyrain quits (~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 15:36:02 × lightwave quits (uid469838@gateway/web/irccloud.com/x-senxbphlukrorlpa) (Quit: Connection closed for inactivity)
2020-10-24 15:37:22 × acidjnk_new3 quits (~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 838 839 840 841 842 843 844 845 846 847 848 .. 5022

All times are in UTC.