Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4062 4063 4064 4065 4066 4067 4068 4069 4070 4071 4072 .. 5022
— 502,152 events total
2021-03-26 05:20:34 → Guest33172 joins (~sdrodge@unaffiliated/sdrodge)
2021-03-26 05:21:21 × Majiir quits (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) (Quit: CUT THE HARDLINES!!)
2021-03-26 05:22:25 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 05:22:35 → Majiir joins (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net)
2021-03-26 05:23:19 <Axman6> do you need explicit role annotations?
2021-03-26 05:23:53 × nfd quits (~nfd9001@2601:602:77f:1820:144a:da71:587f:e0c7) (Ping timeout: 258 seconds)
2021-03-26 05:24:34 × dcbdan quits (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) (Quit: leaving)
2021-03-26 05:25:15 <jle`> Axman6: the roles seem to be inferred as expected
2021-03-26 05:25:26 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds)
2021-03-26 05:25:35 <jle`> but i did add explicit ones but just matched the ones i already saw inferred :'(
2021-03-26 05:25:46 <jle`> oh wait
2021-03-26 05:25:52 <Axman6> :'(
2021-03-26 05:25:53 <Axman6> :o
2021-03-26 05:26:19 <jle`> hm, the roles on both IdF and IdF' are the same
2021-03-26 05:26:46 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-03-26 05:27:03 <jle`> but actually i would have expected them to be represeational representational, but they're representational nominal. which i guess makes sense because who knows what 'f' could be
2021-03-26 05:27:32 <jle`> but i can't explicitly set it to be representational, ghc doesn't let me for either (makes sense)
2021-03-26 05:28:07 <jle`> but K1 and KM are both representational phantom, which makes sense
2021-03-26 05:28:24 → stree joins (~stree@68.36.8.116)
2021-03-26 05:28:37 → molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 05:28:42 <jle`> i think a part of it is the fact that once K1 is given as a functor instead of as just the whole saturated type, it switches to checking if the functors are coercible, instead of the actual thing
2021-03-26 05:28:44 × molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Remote host closed the connection)
2021-03-26 05:29:20 → molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 05:34:02 × molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 258 seconds)
2021-03-26 05:37:21 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2021-03-26 05:41:58 × havenwood1 quits (~havenwood@139.28.218.148) (Remote host closed the connection)
2021-03-26 05:48:58 × solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-03-26 05:49:22 → Stanley|00 joins (~stanley00@unaffiliated/stanley00)
2021-03-26 05:49:56 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 246 seconds)
2021-03-26 05:55:32 → ddellacosta joins (~ddellacos@86.106.143.209)
2021-03-26 05:55:41 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-26 05:58:09 × tpefreedom quits (~tsomers@184-157-240-110.dyn.centurytel.net) (Quit: Leaving)
2021-03-26 05:58:17 → GothAlice1 joins (~GothAlice@185.204.1.185)
2021-03-26 05:59:16 × zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-26 05:59:47 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 06:00:11 × ddellacosta quits (~ddellacos@86.106.143.209) (Ping timeout: 240 seconds)
2021-03-26 06:00:13 → molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 06:04:26 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-03-26 06:04:59 × molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 250 seconds)
2021-03-26 06:07:10 × Graypup_ quits (Graypup@lfcode.ca) (Quit: ZNC 1.6.1 - http://znc.in)
2021-03-26 06:08:39 → Graypup_ joins (Graypup@lfcode.ca)
2021-03-26 06:09:19 × v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Remote host closed the connection)
2021-03-26 06:09:33 → v01d4lph4 joins (~v01d4lph4@106.212.133.35)
2021-03-26 06:15:33 × dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-26 06:20:21 → danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-03-26 06:24:31 → dolio joins (~dolio@haskell/developer/dolio)
2021-03-26 06:26:20 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:699e:bcf8:d3ec:5b7d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-26 06:29:40 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-26 06:30:24 × electricityZZZZ quits (~electrici@135-180-3-82.static.sonic.net) (Ping timeout: 265 seconds)
2021-03-26 06:32:21 → openheimer joins (~death__@unaffiliated/death/x-3645061)
2021-03-26 06:34:00 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 06:34:20 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-03-26 06:34:48 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-03-26 06:37:04 → Feuermagier joins (~Feuermagi@213.178.26.41)
2021-03-26 06:38:39 → graf_blutwurst joins (~user@2001:171b:226e:adc0:2863:3362:bbea:a2d7)
2021-03-26 06:42:58 → molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 06:43:53 → madjestic joins (~Android@86-88-72-244.fixed.kpn.net)
2021-03-26 06:43:57 → idhugo__ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-26 06:44:09 → wonko7 joins (~wonko7@62.115.229.50)
2021-03-26 06:45:21 → Sornaensis joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk)
2021-03-26 06:47:38 × molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 258 seconds)
2021-03-26 06:48:17 × Sorny quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 265 seconds)
2021-03-26 06:52:18 × Guest3407 quits (~frobnicat@185-227-75-147.dsl.cambrium.nl) (Quit: WeeChat 3.0)
2021-03-26 06:52:34 → frobnicator joins (~frobnicat@185-227-75-147.dsl.cambrium.nl)
2021-03-26 06:53:06 → Varis joins (~Tadas@unaffiliated/varis)
2021-03-26 06:53:25 → MidAutumnHotaru1 joins (~MidAutumn@unaffiliated/midautumnhotaru)
2021-03-26 06:55:27 MidAutumnHotaru1 is now known as MidAutumnHotaru
2021-03-26 06:56:08 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2021-03-26 06:56:09 × Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Quit: Leaving.)
2021-03-26 06:57:44 × howdoi quits (uid224@gateway/web/irccloud.com/x-ydlernjpazveajju) (Quit: Connection closed for inactivity)
2021-03-26 06:59:57 × MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾)
2021-03-26 07:00:13 → MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru)
2021-03-26 07:00:19 × orzo_ quits (joe@lasker.childrenofmay.org) (Ping timeout: 252 seconds)
2021-03-26 07:02:22 → malumore joins (~malumore@151.62.117.14)
2021-03-26 07:03:05 → vicfred joins (~vicfred@unaffiliated/vicfred)
2021-03-26 07:05:46 × ghuntley quits (sid16877@gateway/web/irccloud.com/x-uxfaektgqdodsraa) (Ping timeout: 245 seconds)
2021-03-26 07:06:06 × milessabin quits (sid86799@gateway/web/irccloud.com/x-paxjngfzvzojnqam) (Read error: Connection reset by peer)
2021-03-26 07:06:06 × agander_m quits (sid407952@gateway/web/irccloud.com/x-rroevxeabrovpqft) (Read error: Connection reset by peer)
2021-03-26 07:06:07 × rslima_____ quits (sid26145@gateway/web/irccloud.com/x-ppogivlypnlrjlol) (Read error: Connection reset by peer)
2021-03-26 07:06:07 × dani- quits (sid341953@gateway/web/irccloud.com/x-dpwgagznzbsmxica) (Read error: Connection reset by peer)
2021-03-26 07:06:08 × kyagrd__ quits (sid102627@gateway/web/irccloud.com/x-mtjgptufljfbldge) (Read error: Connection reset by peer)
2021-03-26 07:06:11 × taktoa[c] quits (sid282096@gateway/web/irccloud.com/x-hqelbfbprbiolikb) (Read error: Connection reset by peer)
2021-03-26 07:06:11 × hazard-pointer_ quits (sid331723@gateway/web/irccloud.com/x-mrkimhdfnvbytrva) (Ping timeout: 245 seconds)
2021-03-26 07:06:12 × srhb quits (sid400352@NixOS/user/srhb) (Read error: Connection reset by peer)
2021-03-26 07:06:12 × ocharles quits (sid30093@musicbrainz/user/ocharles) (Read error: Connection reset by peer)
2021-03-26 07:06:14 × glowcoil quits (sid3405@gateway/web/irccloud.com/x-xeuicresjnitdefg) (Read error: Connection reset by peer)
2021-03-26 07:06:18 → solvr joins (57e3c46d@87.227.196.109)
2021-03-26 07:06:18 × gds quits (~user@2a01:4b00:8605:9800:4103:dbd5:9f3c:6103) (Quit: rebooting)
2021-03-26 07:06:21 → kyagrd__ joins (sid102627@gateway/web/irccloud.com/x-qbvavchptiwverik)
2021-03-26 07:06:22 → rslima_____ joins (sid26145@gateway/web/irccloud.com/x-bsjjzrtkvhqfkopf)
2021-03-26 07:06:22 → agander_m joins (sid407952@gateway/web/irccloud.com/x-pursommpxzploatw)
2021-03-26 07:06:22 → milessabin joins (sid86799@gateway/web/irccloud.com/x-hmfsltgzvlhcmkqq)
2021-03-26 07:06:22 → ghuntley joins (sid16877@gateway/web/irccloud.com/x-edeyartuzjnymnlf)
2021-03-26 07:06:23 → dani- joins (sid341953@gateway/web/irccloud.com/x-rsbykznomadfhydo)
2021-03-26 07:06:23 → hazard-pointer_ joins (sid331723@gateway/web/irccloud.com/x-wushqlykrygajcur)
2021-03-26 07:06:27 → ocharles joins (sid30093@musicbrainz/user/ocharles)
2021-03-26 07:06:27 → srhb joins (sid400352@NixOS/user/srhb)
2021-03-26 07:06:38 → taktoa[c] joins (sid282096@gateway/web/irccloud.com/x-njxvjnpthhvfgqfo)
2021-03-26 07:06:40 → glowcoil joins (sid3405@gateway/web/irccloud.com/x-kqfefvcmbgehneab)
2021-03-26 07:08:37 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 4062 4063 4064 4065 4066 4067 4068 4069 4070 4071 4072 .. 5022

All times are in UTC.