Logs: freenode/#haskell
| 2021-04-11 00:47:13 | → | dycan joins (~dycan@101-136-26-146.mobile.dynamic.aptg.com.tw) |
| 2021-04-11 00:56:16 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-wqstqfwsmnwqeeor) |
| 2021-04-11 00:57:36 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:42e9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 00:59:28 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-11 01:02:11 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-04-11 01:04:27 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 01:06:22 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-04-11 01:07:21 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:42e9) |
| 2021-04-11 01:07:44 | × | average quits (uid473595@gateway/web/irccloud.com/x-pcrxvnrynryjlrmq) (Quit: Connection closed for inactivity) |
| 2021-04-11 01:08:44 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-11 01:09:34 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-11 01:10:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-11 01:10:58 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-emtqdjwrdkrvrqyi) (Quit: Connection closed for inactivity) |
| 2021-04-11 01:13:25 | × | HarveyPwca quits (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Remote host closed the connection) |
| 2021-04-11 01:15:18 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 01:20:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-11 01:21:41 | <dmwit> | Okay, hallway test: I write `type family Foo a = r | r -> a; type instance Foo (a -> b) = a -> Foo b`. Do you expect this to work or no? |
| 2021-04-11 01:22:18 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-11 01:23:12 | <dmwit> | Eh, never mind. I just read the full error more carefully and now I feel silly, because it tells me how to make this work. |
| 2021-04-11 01:23:19 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-04-11 01:23:27 | <dmwit> | ghc++ |
| 2021-04-11 01:23:31 | × | xff0x quits (~xff0x@2001:1a81:523f:f500:2a94:1071:add3:5a76) (Ping timeout: 260 seconds) |
| 2021-04-11 01:24:30 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:19e0:30a2:a9e3:a5ad) |
| 2021-04-11 01:25:20 | → | xff0x joins (~xff0x@2001:1a81:5278:bf00:7c7:a833:683d:2625) |
| 2021-04-11 01:27:01 | → | hiptobecubic joins (~john@unaffiliated/hiptobecubic) |
| 2021-04-11 01:37:13 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-11 01:37:23 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:4e:3fe1:fdb1:102) |
| 2021-04-11 01:39:50 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-olzovrbijxmtrnfe) (Quit: Connection closed for inactivity) |
| 2021-04-11 01:40:05 | × | roconnor quits (~roconnor@host-45-78-241-236.dyn.295.ca) (Quit: Konversation terminated!) |
| 2021-04-11 01:41:28 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-11 01:43:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-11 01:45:48 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2021-04-11 01:46:13 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 2021-04-11 01:46:49 | → | syntactic_sugar joins (~amol@192.145.118.113) |
| 2021-04-11 01:47:18 | × | syntactic_sugar quits (~amol@192.145.118.113) (Client Quit) |
| 2021-04-11 01:47:48 | → | s00pcan joins (~chris@107.181.165.217) |
| 2021-04-11 01:56:34 | × | dariof4 quits (~dario@5.179.150.32) (Quit: WeeChat 3.1) |
| 2021-04-11 01:57:42 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2021-04-11 01:58:05 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 01:59:28 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-11 02:02:27 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:42e9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-11 02:02:41 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 02:03:40 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 02:04:11 | × | kaction quits (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-11 02:08:06 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-04-11 02:08:19 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 02:08:40 | → | sagax joins (~sagax_nb@213.138.71.146) |
| 2021-04-11 02:09:13 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 02:10:50 | → | cansis joins (uid90033@gateway/web/irccloud.com/x-tiqdxekqfxdjofcv) |
| 2021-04-11 02:12:30 | × | ep1ctetus_ quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-04-11 02:12:54 | → | Ishutin joins (~ishutin@193-110-63-24.cable-modem.hdsnet.hu) |
| 2021-04-11 02:13:48 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 02:14:48 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 02:15:46 | × | Ishutin_ quits (~ishutin@94-21-108-5.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2021-04-11 02:18:38 | × | locrian9 quits (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-04-11 02:19:31 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 02:20:19 | → | kaction joins (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) |
| 2021-04-11 02:20:29 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 02:22:31 | → | gitgoood joins (~gitgood@80-44-10-151.dynamic.dsl.as9105.com) |
| 2021-04-11 02:23:08 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-11 02:23:18 | → | tofu2020 joins (6164daf9@097-100-218-249.res.spectrum.com) |
| 2021-04-11 02:24:55 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 02:24:59 | × | tofu2020 quits (6164daf9@097-100-218-249.res.spectrum.com) (Client Quit) |
| 2021-04-11 02:25:16 | × | gitgood quits (~gitgood@80-44-10-151.dynamic.dsl.as9105.com) (Ping timeout: 252 seconds) |
| 2021-04-11 02:26:05 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 02:27:36 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-11 02:27:53 | × | outerpassage quits (~outerpass@li1196-30.members.linode.com) (Ping timeout: 268 seconds) |
| 2021-04-11 02:28:05 | → | outerpassage_ joins (outerpassa@2600:3c01::f03c:92ff:fed1:4643) |
| 2021-04-11 02:30:10 | × | mmmattyx quits (uid17782@gateway/web/irccloud.com/x-shdhyxoxkigensao) (Quit: Connection closed for inactivity) |
| 2021-04-11 02:30:43 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds) |
| 2021-04-11 02:31:39 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-11 02:34:37 | × | kaction quits (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-11 02:34:55 | × | yahb quits (xsbot@haskell/bot/yahb) (Ping timeout: 260 seconds) |
| 2021-04-11 02:36:02 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds) |
| 2021-04-11 02:37:46 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:42e9) |
| 2021-04-11 02:38:07 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-11 02:38:56 | → | yahb joins (xsbot@haskell/bot/yahb) |
| 2021-04-11 02:39:01 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:42e9) (Client Quit) |
| 2021-04-11 02:44:32 | → | solvr joins (57e3c46d@87.227.196.109) |
| 2021-04-11 02:49:28 | × | theDon quits (~td@muedsl-82-207-238-055.citykom.de) (Ping timeout: 268 seconds) |
| 2021-04-11 02:50:53 | → | theDon joins (~td@94.134.91.241) |
| 2021-04-11 02:52:09 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-11 02:52:25 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-11 02:52:29 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-11 02:53:32 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-11 02:53:32 | finn_elija | is now known as Guest55303 |
| 2021-04-11 02:53:32 | FinnElija | is now known as finn_elija |
| 2021-04-11 02:55:40 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-11 02:56:45 | × | Guest55303 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-11 02:59:32 | × | jlamothe quits (~jlamothe@198.251.57.81) (Quit: leaving) |
| 2021-04-11 03:02:12 | → | drbean_ joins (~drbean@TC210-63-209-166.static.apol.com.tw) |
| 2021-04-11 03:02:33 | × | jamestmartin quits (james@jtmar.me) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2021-04-11 03:02:48 | → | jamestmartin joins (james@jtmar.me) |
| 2021-04-11 03:04:05 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:19e0:30a2:a9e3:a5ad) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-11 03:07:02 | → | anandprabhu joins (~anand@94.203.250.121) |
| 2021-04-11 03:09:00 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-11 03:09:36 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:42e9) |
| 2021-04-11 03:16:02 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-11 03:17:10 | → | myShoggoth joins (~myShoggot@75.164.73.93) |
| 2021-04-11 03:17:11 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-kepeihezzibeebag) (Quit: Connection closed for inactivity) |
All times are in UTC.