Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 129 130 131 132 133 134 135 136 137 138 139 .. 5022
— 502,152 events total
2020-09-22 06:38:58 × dave_uy quits (~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat)
2020-09-22 06:39:31 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-22 06:42:23 → dave_uy joins (~david@108.61.193.26)
2020-09-22 06:43:22 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 246 seconds)
2020-09-22 06:43:29 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-22 06:45:38 → nineonin_ joins (~nineonine@50.216.62.2)
2020-09-22 06:47:55 × adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 258 seconds)
2020-09-22 06:47:56 → falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-22 06:48:41 × nineonine quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 258 seconds)
2020-09-22 06:49:36 × jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-22 06:49:40 × tzh quits (~tzh@2601:448:c500:5300::82b3) (Quit: zzz)
2020-09-22 06:50:56 × mirrorbird quits (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Quit: Leaving)
2020-09-22 06:52:09 → dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-09-22 06:53:03 → chaosmasttter joins (~chaosmast@p200300c4a714f10131538000641ea681.dip0.t-ipconnect.de)
2020-09-22 06:53:18 × yoneda quits (~mike@193.206.102.122) (Quit: leaving)
2020-09-22 06:55:16 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 246 seconds)
2020-09-22 06:55:26 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-22 06:55:51 → Pawka joins (~Pawka@185.163.110.116)
2020-09-22 06:57:11 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-09-22 07:00:37 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-22 07:02:30 × oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 256 seconds)
2020-09-22 07:06:43 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-22 07:08:56 → jud joins (~jud@unaffiliated/jud)
2020-09-22 07:12:00 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-22 07:12:04 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-22 07:12:19 → alp joins (~alp@2a01:e0a:58b:4920:5c1c:d9c9:7d53:7a49)
2020-09-22 07:13:23 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-22 07:14:06 → jud^ joins (~jud@cpe-70-113-106-222.austin.res.rr.com)
2020-09-22 07:14:46 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-09-22 07:15:13 → ^jud joins (~jud@cpe-70-113-106-222.austin.res.rr.com)
2020-09-22 07:15:37 × Turmfalke quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2020-09-22 07:17:48 × jud quits (~jud@unaffiliated/jud) (Ping timeout: 256 seconds)
2020-09-22 07:17:52 <edwardk> MarcelineVQ: rankntypes and impredicative types in haskell aren't just about foralls but also constraints
2020-09-22 07:17:54 <edwardk> p => ...
2020-09-22 07:18:01 <edwardk> counts like bumping rank
2020-09-22 07:18:10 <MarcelineVQ> oh I'd no idea
2020-09-22 07:18:12 <edwardk> [p => q]
2020-09-22 07:18:15 <edwardk> is impredicative
2020-09-22 07:18:41 <edwardk> because ghc doesn't know when to float p, it tries to just float it outside anything it can
2020-09-22 07:18:47 × thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-22 07:18:48 × jud^ quits (~jud@cpe-70-113-106-222.austin.res.rr.com) (Ping timeout: 260 seconds)
2020-09-22 07:19:33 <edwardk> ImpredicativeTypes lets it allow that type, but ImpredicativeTypes is generally a horrorshow
2020-09-22 07:20:01 <edwardk> the quick look at types paper should just allow this as well, as would andras kovacs' implicit fun elaboration stuff
2020-09-22 07:21:08 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-22 07:22:29 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-09-22 07:23:26 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-22 07:24:53 → chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-09-22 07:26:53 → jud^ joins (~jud@cpe-70-113-106-222.austin.res.rr.com)
2020-09-22 07:27:36 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-09-22 07:28:09 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-09-22 07:28:26 xerox__ is now known as xerox_
2020-09-22 07:28:43 × ^jud quits (~jud@cpe-70-113-106-222.austin.res.rr.com) (Ping timeout: 260 seconds)
2020-09-22 07:29:27 → yoneda joins (~mike@193.206.102.122)
2020-09-22 07:30:08 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-22 07:32:51 × shad0w_ quits (~shad0w_@160.202.36.59) (Remote host closed the connection)
2020-09-22 07:34:31 × jud^ quits (~jud@cpe-70-113-106-222.austin.res.rr.com) (Quit: Leaving)
2020-09-22 07:35:07 × murphy_ quits (~murphy_@2604:2000:1281:8a9e:253d:d28c:4e2b:162) (Ping timeout: 240 seconds)
2020-09-22 07:35:27 → murphy_ joins (~murphy_@2604:2000:1281:8a9e:d2e4:da3f:de8a:c9c9)
2020-09-22 07:36:02 → Orbstheorem joins (~roosember@hellendaal.orbstheorem.ch)
2020-09-22 07:39:55 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 265 seconds)
2020-09-22 07:40:42 → mmohammadi9812 joins (~mmohammad@2.178.188.114)
2020-09-22 07:41:51 → raichoo joins (~raichoo@213.240.178.58)
2020-09-22 07:45:54 → mmohammadi98124 joins (~mmohammad@2.178.188.114)
2020-09-22 07:46:12 × falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 260 seconds)
2020-09-22 07:46:35 × mmohammadi9812 quits (~mmohammad@2.178.188.114) (Read error: Connection reset by peer)
2020-09-22 07:46:35 mmohammadi98124 is now known as mmohammadi9812
2020-09-22 07:50:14 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-09-22 07:50:37 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-09-22 07:52:33 × xerox_ quits (~xerox@unaffiliated/xerox) (Quit: leaving)
2020-09-22 08:01:55 → danvet joins (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453)
2020-09-22 08:01:58 × danvet quits (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) (Client Quit)
2020-09-22 08:04:46 × yoneda quits (~mike@193.206.102.122) (Quit: leaving)
2020-09-22 08:04:53 × chaosmasttter quits (~chaosmast@p200300c4a714f10131538000641ea681.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-22 08:04:59 → yoneda joins (~mike@193.206.102.122)
2020-09-22 08:05:12 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-22 08:05:45 × drbean quits (~drbean@TC210-63-209-170.static.apol.com.tw) (Ping timeout: 240 seconds)
2020-09-22 08:07:06 → notzmv` joins (~user@179.100.115.46)
2020-09-22 08:08:25 × cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds)
2020-09-22 08:10:34 × notzmv quits (~user@unaffiliated/zmv) (Ping timeout: 260 seconds)
2020-09-22 08:14:29 × mmohammadi9812 quits (~mmohammad@2.178.188.114) (Ping timeout: 256 seconds)
2020-09-22 08:17:01 → Sanchayan joins (~Sanchayan@106.201.114.230)
2020-09-22 08:17:18 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 256 seconds)
2020-09-22 08:17:36 → supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-09-22 08:17:37 × supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded)
2020-09-22 08:17:51 → supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-09-22 08:17:52 × supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded)
2020-09-22 08:18:09 → supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-09-22 08:20:35 × poljar quits (~poljar@93-139-70-179.adsl.net.t-com.hr) (Read error: Connection reset by peer)
2020-09-22 08:20:54 → poljar joins (~poljar@93-139-70-179.adsl.net.t-com.hr)
2020-09-22 08:25:21 × ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 265 seconds)
2020-09-22 08:25:32 × CitizenS- quits (~CitizenSn@irc.refl.club) (Quit: ZNC 1.8.1 - https://znc.in)
2020-09-22 08:25:48 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-22 08:26:03 → ryansmccoy joins (~ryansmcco@193.37.254.27)
2020-09-22 08:27:22 → kritzefitz joins (~kritzefit@p548c999c.dip0.t-ipconnect.de)
2020-09-22 08:27:57 → CitizenSnips joins (~CitizenSn@irc.refl.club)
2020-09-22 08:30:30 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-22 08:30:33 → borne joins (~fritjof@200116b8645e7d00f00953f5fedbeb5e.dip.versatel-1u1.de)
2020-09-22 08:31:09 → cyphase joins (~cyphase@unaffiliated/cyphase)
2020-09-22 08:32:33 → supercoven_ joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-09-22 08:33:54 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
←Prev  Next→
Page 1 .. 129 130 131 132 133 134 135 136 137 138 139 .. 5022

All times are in UTC.