Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 261 262 263 264 265 266 267 268 269 270 271 .. 17985
— 1,798,490 events total
2021-06-03 11:14:02 → ddellaco_ joins (~ddellacos@89.45.224.66)
2021-06-03 11:14:50 × ddellacosta quits (~ddellacos@86.106.121.71) (Ping timeout: 268 seconds)
2021-06-03 11:14:50 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-03 11:15:05 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-03 11:16:31 → bontaq joins (~user@ool-18e47f8d.dyn.optonline.net)
2021-06-03 11:17:21 × ozzymcduff quits (~mathieu@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 272 seconds)
2021-06-03 11:17:25 × wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 245 seconds)
2021-06-03 11:18:15 × ddellaco_ quits (~ddellacos@89.45.224.66) (Ping timeout: 245 seconds)
2021-06-03 11:19:32 × killsushi_ quits (~killsushi@user/killsushi/x-5912268) (Quit: Leaving)
2021-06-03 11:20:13 × a6a45081-2b83 quits (~aditya@106.212.70.132) (Remote host closed the connection)
2021-06-03 11:20:22 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-06-03 11:21:04 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-03 11:23:27 × oxide quits (~lambda@user/oxide) (Read error: Connection reset by peer)
2021-06-03 11:24:00 → ozzymcduff joins (~mathieu@81-234-151-21-no94.tbcn.telia.com)
2021-06-03 11:24:23 ozzymcduff is now known as Guest7893
2021-06-03 11:25:25 → oxide joins (~lambda@user/oxide)
2021-06-03 11:26:10 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-06-03 11:26:41 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-03 11:27:05 × leeb_ quits (~leeb@KD111239152092.au-net.ne.jp) (Quit: WeeChat 3.1)
2021-06-03 11:28:30 → ddellacosta joins (~ddellacos@89.46.62.47)
2021-06-03 11:29:59 → mc47 joins (~yecinem@89.246.239.190)
2021-06-03 11:30:53 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857)
2021-06-03 11:32:43 × favonia quits (~favonia@user/favonia) (Ping timeout: 268 seconds)
2021-06-03 11:33:08 → favonia joins (~favonia@user/favonia)
2021-06-03 11:33:20 × ddellacosta quits (~ddellacos@89.46.62.47) (Ping timeout: 268 seconds)
2021-06-03 11:35:48 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Ping timeout: 268 seconds)
2021-06-03 11:36:47 carbolymer_ is now known as carbolymer
2021-06-03 11:41:33 × favonia quits (~favonia@user/favonia) (Ping timeout: 244 seconds)
2021-06-03 11:41:57 → favonia joins (~favonia@user/favonia)
2021-06-03 11:43:41 × dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2021-06-03 11:45:52 × rk04 quits (~rk04@user/rajk) (Ping timeout: 250 seconds)
2021-06-03 11:46:26 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-06-03 11:46:30 → ddellacosta joins (~ddellacos@89.46.62.37)
2021-06-03 11:46:50 → rk04 joins (~rk04@user/rajk)
2021-06-03 11:47:00 → haskman joins (~haskman@223.190.2.235)
2021-06-03 11:48:45 → ddellaco_ joins (~ddellacos@89.46.62.170)
2021-06-03 11:49:59 → zebrag joins (~chris@user/zebrag)
2021-06-03 11:51:13 × ddellacosta quits (~ddellacos@89.46.62.37) (Ping timeout: 268 seconds)
2021-06-03 11:51:49 × oxide quits (~lambda@user/oxide) (Read error: Connection reset by peer)
2021-06-03 11:51:56 × img quits (~img@2405:6580:b1c0:2500:2508:a86c:693c:5a39) (Quit: ZNC 1.8.1 - https://znc.in)
2021-06-03 11:53:03 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-03 11:53:24 × ddellaco_ quits (~ddellacos@89.46.62.170) (Ping timeout: 272 seconds)
2021-06-03 11:53:34 → img joins (~img@2405:6580:b1c0:2500:67f2:d741:c73f:49d3)
2021-06-03 12:01:05 × dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 268 seconds)
2021-06-03 12:02:27 × hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.)
2021-06-03 12:03:05 → Deide joins (~Deide@wire.desu.ga)
2021-06-03 12:03:05 × Deide quits (~Deide@wire.desu.ga) (Changing host)
2021-06-03 12:03:05 → Deide joins (~Deide@user/deide)
2021-06-03 12:04:07 tomsmeding didn't follow the discussion but thinks that that type equality, (C x => C x) ~ C x, doesn't actually hold in GHC
2021-06-03 12:04:11 → lavaman joins (~lavaman@98.38.249.169)
2021-06-03 12:04:33 <tomsmeding> seeing as contexts become dictionaries and that => turns into an actual -> in Core
2021-06-03 12:04:38 × shailangsa quits (~shailangs@host86-186-136-74.range86-186.btcentralplus.com) (Remote host closed the connection)
2021-06-03 12:04:47 → ddellacosta joins (~ddellacos@89.46.62.125)
2021-06-03 12:09:52 × ddellacosta quits (~ddellacos@89.46.62.125) (Ping timeout: 272 seconds)
2021-06-03 12:10:03 → jacks2 joins (~bc817c21@217.29.117.252)
2021-06-03 12:10:19 → aguapesada joins (~aguapesad@2804:14c:8793:8e2f:930e:9446:3a9d:bc55)
2021-06-03 12:11:34 × wonko quits (~wjc@62.115.229.50) (Quit: See You Space Cowboy..)
2021-06-03 12:14:30 → wonko joins (~wjc@62.115.229.50)
2021-06-03 12:14:30 × fabfianda quits (~fabfianda@net-93-148-125-174.cust.dsl.teletu.it) (Ping timeout: 245 seconds)
2021-06-03 12:16:47 → AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net)
2021-06-03 12:19:41 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-03 12:19:45 → smitop joins (uid328768@user/smitop)
2021-06-03 12:20:31 × Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection)
2021-06-03 12:20:49 × alex3 quits (~Chel@BSN-77-82-41.static.siol.net) (Ping timeout: 268 seconds)
2021-06-03 12:21:01 × ixlun quits (~matthew@109.249.184.235) (Read error: Connection reset by peer)
2021-06-03 12:21:10 → MatrixTravelerbo joins (~voyagert2@2001:470:69fc:105::22)
2021-06-03 12:21:27 → fabfianda joins (~fabfianda@37.183.233.166)
2021-06-03 12:22:23 → ddellacosta joins (~ddellacos@89.46.62.86)
2021-06-03 12:22:43 × v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Remote host closed the connection)
2021-06-03 12:23:16 → v01d4lph4 joins (~v01d4lph4@user/v01d4lph4)
2021-06-03 12:23:22 → ddellaco_ joins (~ddellacos@89.45.224.254)
2021-06-03 12:24:20 → oxide joins (~lambda@user/oxide)
2021-06-03 12:24:55 → dario joins (~dario@2a02:8108:1100:16d8:e0ee:dd2d:d9e4:1cf)
2021-06-03 12:25:14 → ac joins (~aloiscoch@2001:470:69fc:105::65)
2021-06-03 12:25:23 → adziahel[m] joins (~adziahelm@2001:470:69fc:105::b4d)
2021-06-03 12:25:47 × exarkun1 quits (~exarkun@user/exarkun) (Read error: Connection reset by peer)
2021-06-03 12:26:03 → exarkun2 joins (~exarkun@user/exarkun)
2021-06-03 12:26:57 × ddellacosta quits (~ddellacos@89.46.62.86) (Ping timeout: 265 seconds)
2021-06-03 12:26:57 → dario1 joins (~dario@8.44.0.53)
2021-06-03 12:27:02 → pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net)
2021-06-03 12:27:03 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-03 12:27:50 × ddellaco_ quits (~ddellacos@89.45.224.254) (Ping timeout: 245 seconds)
2021-06-03 12:28:06 → boxscape joins (~boxscape@user/boxscape)
2021-06-03 12:28:14 × v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 272 seconds)
2021-06-03 12:30:20 × dario quits (~dario@2a02:8108:1100:16d8:e0ee:dd2d:d9e4:1cf) (Ping timeout: 265 seconds)
2021-06-03 12:31:21 <boxscape> tomsmeding there's quite a bit of weirdness when it comes to equalities like that, I submitted an issue about it a while back https://gitlab.haskell.org/ghc/ghc/-/issues/17372
2021-06-03 12:31:28 → peddie joins (~peddie@2001:470:69fc:105::25d)
2021-06-03 12:31:33 <boxscape> i.e. using type synonyms changes whether things are equal or not
2021-06-03 12:31:37 → dunkeln joins (~dunkeln@94.129.65.28)
2021-06-03 12:32:03 → dario2 joins (~dario@8.43.122.4)
2021-06-03 12:32:09 <boxscape> (though I think you're right that that particular equality never holds)
2021-06-03 12:32:27 → fgaz joins (~fgaz@2001:470:69fc:105::842)
2021-06-03 12:33:59 × benin0 quits (~benin@183.82.205.186) (Ping timeout: 272 seconds)
2021-06-03 12:34:06 → kosmikus[m] joins (~andresloe@2001:470:69fc:105::95d)
2021-06-03 12:34:12 × dario1 quits (~dario@8.44.0.53) (Ping timeout: 265 seconds)
2021-06-03 12:34:23 × favonia quits (~favonia@user/favonia) (Ping timeout: 268 seconds)
2021-06-03 12:34:58 → ru0mad[m] joins (~ru0madmat@2001:470:69fc:105::9b2)
2021-06-03 12:36:01 <jacks2> guest63``, python has similar syntax for creating tuples as python, ie: (1, "foo")
2021-06-03 12:36:18 × peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 264 seconds)
2021-06-03 12:36:24 <tomsmeding> boxscape: ewwww
←Prev  Next→
Page 1 .. 261 262 263 264 265 266 267 268 269 270 271 .. 17985

All times are in UTC.