Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3765 3766 3767 3768 3769 3770 3771 3772 3773 3774 3775 .. 5022
— 502,152 events total
2021-03-12 11:49:32 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-12 11:50:09 × graf_blutwurst quits (~user@2001:171b:226e:adc0:51ba:fe70:8240:4759) (Remote host closed the connection)
2021-03-12 11:51:49 × lemmih quits (~lemmih@2406:3003:2072:44:5504:1a40:9c9:89a5) (Remote host closed the connection)
2021-03-12 11:52:10 → lemmih joins (~lemmih@2406:3003:2072:44:5ef0:b049:fd85:f050)
2021-03-12 11:53:48 × nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 245 seconds)
2021-03-12 11:53:49 × monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 276 seconds)
2021-03-12 11:54:13 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 245 seconds)
2021-03-12 11:54:52 → alx741 joins (~alx741@186.178.108.206)
2021-03-12 11:57:29 × hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
2021-03-12 11:57:44 → marinelli joins (~marinelli@gateway/tor-sasl/marinelli)
2021-03-12 12:00:54 × Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2021-03-12 12:03:41 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-03-12 12:04:13 <mniip> huuh
2021-03-12 12:04:13 → Gurkenglas_ joins (~Gurkengla@unaffiliated/gurkenglas)
2021-03-12 12:04:23 <mniip> if I have an associated data family
2021-03-12 12:04:39 <mniip> then suddenly declaring an instance and deriving Eq for it
2021-03-12 12:04:41 → ukari joins (~ukari@unaffiliated/ukari)
2021-03-12 12:04:44 <mniip> is an orphan instance?
2021-03-12 12:07:08 → gitgoood joins (~gitgood@82-132-216-167.dab.02.net)
2021-03-12 12:08:16 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-12 12:08:18 × Kaiepi quits (~Kaiepi@47.54.252.148) (Ping timeout: 246 seconds)
2021-03-12 12:08:33 × sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Quit: Leaving)
2021-03-12 12:08:37 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-03-12 12:08:41 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-12 12:09:00 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-12 12:09:46 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-12 12:09:50 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-12 12:09:54 × gitgood quits (~gitgood@82-132-217-25.dab.02.net) (Read error: Connection reset by peer)
2021-03-12 12:10:09 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-12 12:12:29 × pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2021-03-12 12:12:37 → dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be)
2021-03-12 12:13:23 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 245 seconds)
2021-03-12 12:13:42 → kritzefitz joins (~kritzefit@fw-front.credativ.com)
2021-03-12 12:14:10 → ezrakilty joins (~ezrakilty@75-172-115-167.tukw.qwest.net)
2021-03-12 12:14:38 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds)
2021-03-12 12:15:55 × frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 276 seconds)
2021-03-12 12:17:23 × gitgoood quits (~gitgood@82-132-216-167.dab.02.net) (Read error: Connection reset by peer)
2021-03-12 12:19:10 × ezrakilty quits (~ezrakilty@75-172-115-167.tukw.qwest.net) (Ping timeout: 276 seconds)
2021-03-12 12:19:54 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-03-12 12:21:05 → ukari joins (~ukari@unaffiliated/ukari)
2021-03-12 12:30:11 → drbean joins (~drbean@TC210-63-209-63.static.apol.com.tw)
2021-03-12 12:30:15 → mirrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911)
2021-03-12 12:30:43 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-12 12:32:18 → nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com)
2021-03-12 12:32:43 × denisse quits (~spaceCat@gateway/tor-sasl/alephzer0) (Remote host closed the connection)
2021-03-12 12:33:04 → denisse joins (~spaceCat@gateway/tor-sasl/alephzer0)
2021-03-12 12:33:45 → jpds_ joins (~jpds@gateway/tor-sasl/jpds)
2021-03-12 12:34:18 × fryguybo1 quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Remote host closed the connection)
2021-03-12 12:34:21 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-03-12 12:34:39 jpds_ is now known as jpds
2021-03-12 12:35:00 → raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-12 12:35:27 → sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca)
2021-03-12 12:35:35 <nshepperd> i don't see why the Eq instance would be an orphan, if it's defined together with the data family instance it is for
2021-03-12 12:36:54 <nshepperd> the data instance itself could be an orphan though, couldn't it?
2021-03-12 12:37:56 → fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2021-03-12 12:37:58 × ixlun`` quits (~user@109.249.184.132) (Remote host closed the connection)
2021-03-12 12:38:03 × nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 246 seconds)
2021-03-12 12:38:08 → bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-12 12:38:25 → ixlun joins (~user@109.249.184.132)
2021-03-12 12:38:45 × ixlun quits (~user@109.249.184.132) (Remote host closed the connection)
2021-03-12 12:39:00 → ixlun joins (~user@109.249.184.132)
2021-03-12 12:39:51 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-03-12 12:42:24 × mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Quit: Leaving)
2021-03-12 12:42:58 × bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 256 seconds)
2021-03-12 12:43:45 → dfeuer joins (~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net)
2021-03-12 12:44:22 → minoru_shiraeesh joins (~shiraeesh@46.34.206.154)
2021-03-12 12:46:26 → tinhatcat joins (~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net)
2021-03-12 12:48:09 → heatsink joins (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947)
2021-03-12 12:48:56 → maxxe-testing joins (~maxxe@unaffiliated/maxxe)
2021-03-12 12:50:36 → nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com)
2021-03-12 12:50:38 × tinhatcat quits (~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) (Client Quit)
2021-03-12 12:52:50 × heatsink quits (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) (Ping timeout: 264 seconds)
2021-03-12 12:53:54 × Boomerang quits (~Boomerang@2a05:f6c7:2179:0:ccd0:d305:d616:ff16) (Quit: Leaving)
2021-03-12 12:54:36 → bahamas joins (~lucian@unaffiliated/bahamas)
2021-03-12 12:55:28 × nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 245 seconds)
2021-03-12 12:59:42 × Kaiepi quits (~Kaiepi@47.54.252.148) (Read error: No route to host)
2021-03-12 13:00:02 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-03-12 13:00:45 → urodna joins (~urodna@unaffiliated/urodna)
2021-03-12 13:01:48 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-12 13:02:05 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-12 13:02:26 → gzj joins (~gzj@unaffiliated/gzj)
2021-03-12 13:04:18 × knupfer quits (~Thunderbi@i59F7FFFF.versanet.de) (Quit: knupfer)
2021-03-12 13:04:50 → knupfer joins (~Thunderbi@200116b82c668700c9527be50386a639.dip.versatel-1u1.de)
2021-03-12 13:06:16 → Tario joins (~Tario@201.192.165.173)
2021-03-12 13:09:47 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-03-12 13:14:54 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 268 seconds)
2021-03-12 13:16:25 → geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr)
2021-03-12 13:16:29 → geekosaur joins (82650c7a@130.101.12.122)
2021-03-12 13:20:28 × stree quits (~stree@68.36.8.116) (Ping timeout: 245 seconds)
2021-03-12 13:20:30 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-12 13:21:04 → nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com)
2021-03-12 13:21:07 → Pickchea joins (~private@unaffiliated/pickchea)
2021-03-12 13:23:41 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-12 13:24:01 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-12 13:24:04 → Lycurgus joins (~niemand@98.4.114.199)
2021-03-12 13:24:24 × Athas quits (athas@2a01:7c8:aaac:1cf:f7dd:80de:d3d3:680b) (Quit: ZNC - http://znc.sourceforge.net)
2021-03-12 13:25:39 × nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 246 seconds)
2021-03-12 13:25:45 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-03-12 13:27:19 → Athas joins (~athas@2a01:7c8:aaac:1cf:b3d0:9cdc:5978:262a)
2021-03-12 13:27:50 → mirrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911)
←Prev  Next→
Page 1 .. 3765 3766 3767 3768 3769 3770 3771 3772 3773 3774 3775 .. 5022

All times are in UTC.