Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 162 163 164 165 166 167 168 169 170 171 172 .. 17906
— 1,790,538 events total
2021-05-29 07:35:14 → connrs joins (~connrs@s1.connrs.uk)
2021-05-29 07:38:09 → paniash joins (~ashish@223.184.123.65)
2021-05-29 07:38:40 × connrs quits (~connrs@s1.connrs.uk) (Client Quit)
2021-05-29 07:39:12 → connrs joins (~connrs@s1.connrs.uk)
2021-05-29 07:39:26 → mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-05-29 07:39:52 × paniash quits (~ashish@223.184.123.65) (Client Quit)
2021-05-29 07:40:42 × gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving)
2021-05-29 07:42:25 → lavaman joins (~lavaman@98.38.249.169)
2021-05-29 07:43:39 → dunham joins (~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 07:44:16 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-29 07:45:42 → haskman joins (~haskman@171.61.131.248)
2021-05-29 07:46:14 → zyzzyxdonta joins (~zyzzyxdon@p4ff1877f.dip0.t-ipconnect.de)
2021-05-29 07:46:40 → brian_da_mage joins (~Neuromanc@37.6.199.86)
2021-05-29 07:46:41 → ddellacosta joins (~ddellacos@86.106.121.86)
2021-05-29 07:46:58 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-05-29 07:47:02 × brian_da_mage quits (~Neuromanc@37.6.199.86) (Changing host)
2021-05-29 07:47:02 → brian_da_mage joins (~Neuromanc@user/briandamag)
2021-05-29 07:48:02 → rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it)
2021-05-29 07:48:37 × dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 272 seconds)
2021-05-29 07:48:41 → fizbin joins (~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e)
2021-05-29 07:49:02 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 248 seconds)
2021-05-29 07:49:36 × wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-05-29 07:50:05 → wei2912 joins (~wei2912@112.199.250.21)
2021-05-29 07:50:11 <hololeap> % class MyClass r a | r -> a, a -> r ; class MyClass r a => NewClass r
2021-05-29 07:50:11 <yahb> hololeap: ; <interactive>:103:54: error: Not in scope: type variable `a'
2021-05-29 07:50:23 → gehmehgeh joins (~user@user/gehmehgeh)
2021-05-29 07:51:09 <hololeap> since there is a double functional dependency between `r' and `a', I would think that `a' wouldn't have to be mentioned on the RHS of NewClass
2021-05-29 07:51:16 × ddellacosta quits (~ddellacos@86.106.121.86) (Ping timeout: 264 seconds)
2021-05-29 07:51:42 <hololeap> because NewClass doesn't use it
2021-05-29 07:51:56 → reumeth joins (~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab)
2021-05-29 07:53:42 × fizbin quits (~fizbin@2601:82:c380:87a:542e:7fe0:1120:cb8e) (Ping timeout: 264 seconds)
2021-05-29 07:53:50 × hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-29 07:55:29 → marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8)
2021-05-29 07:58:45 → sbmsr joins (~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd)
2021-05-29 07:59:28 × ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Read error: Connection reset by peer)
2021-05-29 08:00:27 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-29 08:00:50 → ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net)
2021-05-29 08:02:06 × yumaikas- quits (~yumaikas@2601:281:c700:4240:90f1:d2bf:b6e2:acbf) (Ping timeout: 264 seconds)
2021-05-29 08:02:27 → Tomurb joins (~tom@92-17.net.optinet.cz)
2021-05-29 08:03:32 → ddellacosta joins (~ddellacos@89.46.62.19)
2021-05-29 08:07:42 × ddellacosta quits (~ddellacos@89.46.62.19) (Ping timeout: 248 seconds)
2021-05-29 08:07:54 → zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
2021-05-29 08:09:42 → hendursa1 joins (~weechat@user/hendursaga)
2021-05-29 08:10:58 × hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 252 seconds)
2021-05-29 08:12:10 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-05-29 08:12:12 → hylisper joins (~yaaic@111.119.208.67)
2021-05-29 08:16:48 → wonko joins (~wjc@62.115.229.50)
2021-05-29 08:18:52 × rahguzar quits (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Ping timeout: 264 seconds)
2021-05-29 08:20:53 → ddellacosta joins (~ddellacos@89.46.62.60)
2021-05-29 08:22:51 → BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-05-29 08:23:10 × smatting quits (~stefan@p57adc506.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2021-05-29 08:23:53 → nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-05-29 08:23:58 × BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Client Quit)
2021-05-29 08:25:22 × ddellacosta quits (~ddellacos@89.46.62.60) (Ping timeout: 264 seconds)
2021-05-29 08:26:42 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-29 08:26:48 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-05-29 08:28:34 × gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds)
2021-05-29 08:29:21 × lu quits (~lu@user/lu) (Ping timeout: 272 seconds)
2021-05-29 08:29:48 → gehmehgeh joins (~user@user/gehmehgeh)
2021-05-29 08:31:03 × sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 272 seconds)
2021-05-29 08:33:17 × reumeth quits (~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab) (Quit: reumeth)
2021-05-29 08:35:18 → ksqsf joins (~textual@67.209.186.120.16clouds.com)
2021-05-29 08:36:11 × Tomurb quits (~tom@92-17.net.optinet.cz) (Ping timeout: 265 seconds)
2021-05-29 08:37:03 → ddellacosta joins (~ddellacos@89.46.62.36)
2021-05-29 08:37:18 × ksqsf quits (~textual@67.209.186.120.16clouds.com) (Client Quit)
2021-05-29 08:37:46 → koishi_ joins (~ksqsf@67.209.186.120.16clouds.com)
2021-05-29 08:37:47 → dunham joins (~dunham@97-113-35-16.tukw.qwest.net)
2021-05-29 08:38:37 → chddr joins (~Thunderbi@31.148.23.125)
2021-05-29 08:41:18 × ddellacosta quits (~ddellacos@89.46.62.36) (Ping timeout: 248 seconds)
2021-05-29 08:42:09 → mankyKitty joins (uid31287@id-31287.brockwell.irccloud.com)
2021-05-29 08:42:22 × dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 248 seconds)
2021-05-29 08:43:22 × haskman quits (~haskman@171.61.131.248) (Ping timeout: 264 seconds)
2021-05-29 08:46:36 × koishi_ quits (~ksqsf@67.209.186.120.16clouds.com) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-29 08:47:19 → koishi_ joins (~koishi_@67.209.186.120.16clouds.com)
2021-05-29 08:48:16 × tonyz quits (~tonyz@user/tonyz) (Quit: Leaving)
2021-05-29 08:48:26 niko is now known as o
2021-05-29 08:50:23 × koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 08:50:27 → ytg joins (~ytg@109-186-149-143.bb.netvision.net.il)
2021-05-29 08:50:32 → unyu joins (~pyon@user/pyon)
2021-05-29 08:50:50 × unyu quits (~pyon@user/pyon) (Quit: Fix config.)
2021-05-29 08:51:02 → koishi_ joins (~koishi_@67.209.186.120.16clouds.com)
2021-05-29 08:51:04 → wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-05-29 08:51:18 × ytg quits (~ytg@109-186-149-143.bb.netvision.net.il) (Client Quit)
2021-05-29 08:52:09 → saolof joins (~olofs@185.217.69.158)
2021-05-29 08:53:07 → unyu joins (~pyon@user/pyon)
2021-05-29 08:54:01 → foldnaut joins (~stackbear@pool-173-76-99-163.bstnma.fios.verizon.net)
2021-05-29 08:54:11 × foldnaut quits (~stackbear@pool-173-76-99-163.bstnma.fios.verizon.net) (Remote host closed the connection)
2021-05-29 08:55:11 × koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-05-29 08:55:48 → ddellacosta joins (~ddellacos@89.46.62.63)
2021-05-29 08:55:58 × nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 264 seconds)
2021-05-29 08:59:29 → koishi_ joins (~koishi_@2001:e42:102:1532:160:16:113:140)
2021-05-29 09:00:46 × ddellacosta quits (~ddellacos@89.46.62.63) (Ping timeout: 264 seconds)
2021-05-29 09:03:52 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-29 09:05:44 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
2021-05-29 09:06:25 → reumeth joins (~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab)
2021-05-29 09:07:45 → autophagy joins (~mika@user/autophagy)
2021-05-29 09:07:58 × berberman_ quits (~berberman@user/berberman) (Ping timeout: 248 seconds)
2021-05-29 09:08:05 × autophagy quits (~mika@user/autophagy) (Client Quit)
2021-05-29 09:08:23 → dhil joins (~dhil@195.213.192.85)
2021-05-29 09:08:58 → berberman joins (~berberman@user/berberman)
←Prev  Next→
Page 1 .. 162 163 164 165 166 167 168 169 170 171 172 .. 17906

All times are in UTC.