Logs: freenode/#haskell
| 2020-11-03 04:59:47 | → | guest113 joins (~user@49.5.6.87) |
| 2020-11-03 04:59:50 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2020-11-03 05:00:11 | → | mimi1vx joins (~mimi@2a01:490:16:1026:90cd:be5f:a52c:e47e) |
| 2020-11-03 05:00:55 | × | kupi quits (uid212005@gateway/web/irccloud.com/x-izotevyprbcyotcz) (Quit: Connection closed for inactivity) |
| 2020-11-03 05:03:58 | × | Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection) |
| 2020-11-03 05:06:58 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 05:11:40 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-11-03 05:12:47 | × | xff0x quits (~fox@2001:1a81:53b4:ba00:fd62:d0fd:829a:1233) (Ping timeout: 268 seconds) |
| 2020-11-03 05:13:30 | → | xff0x joins (~fox@2001:1a81:53b4:ba00:2eff:cd6c:5e2b:7580) |
| 2020-11-03 05:14:52 | <bradparker> | ski: thanks :) (TIL https://gitlab.haskell.org/ghc/ghc/-/wikis/injective-type-families). So it's more accurate to say that the the `Proxy api` argument is needed because the type family `ServerT` is not injective. |
| 2020-11-03 05:19:40 | → | dbmikus_ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2020-11-03 05:24:47 | × | dbmikus_ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 2020-11-03 05:25:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2020-11-03 05:28:40 | → | emmanuel_erc joins (~user@2604:2000:1382:ce03:de4:8c90:4e56:e115) |
| 2020-11-03 05:34:59 | × | mimi1vx quits (~mimi@2a01:490:16:1026:90cd:be5f:a52c:e47e) (Ping timeout: 268 seconds) |
| 2020-11-03 05:42:57 | → | day_ joins (~Unknown@unaffiliated/day) |
| 2020-11-03 05:46:25 | × | day quits (~Unknown@unaffiliated/day) (Ping timeout: 264 seconds) |
| 2020-11-03 05:46:25 | day_ | is now known as day |
| 2020-11-03 05:47:06 | → | yinfeng joins (~yinfeng@2001:250:5002:8100::2:b4d5) |
| 2020-11-03 05:47:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-03 05:50:52 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 246 seconds) |
| 2020-11-03 05:52:00 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2020-11-03 05:54:01 | hackage | egison-pattern-src 0.2.1.2 - Manipulating Egison patterns: abstract syntax, parser, and pretty-printer https://hackage.haskell.org/package/egison-pattern-src-0.2.1.2 (coord_e) |
| 2020-11-03 05:55:03 | hackage | egison-pattern-src-th-mode 0.2.1.2, egison-pattern-src-haskell-mode 0.2.1.2 (coord_e): https://qbin.io/look-gothic-x917 |
| 2020-11-03 06:00:02 | × | BrunoNapoleao quits (~BrunoNapo@185.163.110.116) () |
| 2020-11-03 06:05:12 | × | alp quits (~alp@2a01:e0a:58b:4920:4ce:2344:89cc:fe25) (Ping timeout: 268 seconds) |
| 2020-11-03 06:06:34 | × | noecho quits (~noecho@2a01:4f8:1c0c:80ee::4223) (Quit: ZNC - http://znc.in) |
| 2020-11-03 06:07:05 | → | noecho joins (~noecho@2a01:4f8:1c0c:80ee::4223) |
| 2020-11-03 06:10:08 | × | justan0theruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 268 seconds) |
| 2020-11-03 06:11:06 | mnrmnaugh | is now known as ringzero |
| 2020-11-03 06:11:42 | ringzero | is now known as mnrmnaugh |
| 2020-11-03 06:13:48 | → | dbmikus_ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2020-11-03 06:14:01 | × | blissful quits (~azuline@unaffiliated/azuline) (Quit: The Lounge - https://thelounge.chat) |
| 2020-11-03 06:18:43 | × | dbmikus_ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 2020-11-03 06:20:19 | × | dilinger quits (~dilinger@spindle.queued.net) (Remote host closed the connection) |
| 2020-11-03 06:29:42 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@68.235.43.86) (Quit: Leaving) |
| 2020-11-03 06:31:54 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2020-11-03 06:35:35 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-03 06:39:49 | <bqv> | phew |
| 2020-11-03 06:39:54 | <bqv> | been fiddling with types for 5 hours |
| 2020-11-03 06:40:00 | <bqv> | finally got it to compile again |
| 2020-11-03 06:40:33 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2020-11-03 06:40:34 | <yushyin> | the pleasure of haskell :) |
| 2020-11-03 06:40:43 | <bqv> | indeed :D |
| 2020-11-03 06:41:23 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-03 06:41:26 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2020-11-03 06:43:08 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2020-11-03 06:45:50 | → | jbox joins (~atlas@unaffiliated/jbox) |
| 2020-11-03 06:46:14 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Remote host closed the connection) |
| 2020-11-03 06:46:31 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 2020-11-03 06:47:41 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2020-11-03 06:51:18 | → | mimi1vx joins (~mimi@2a01:490:16:1026:90cd:be5f:a52c:e47e) |
| 2020-11-03 06:51:46 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-03 06:53:25 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-03 06:53:37 | → | ocamel joins (3263cbdb@50.99.203.219) |
| 2020-11-03 06:56:24 | → | alp joins (~alp@2a01:e0a:58b:4920:adca:d707:6534:9087) |
| 2020-11-03 06:56:30 | × | ocamel quits (3263cbdb@50.99.203.219) (Remote host closed the connection) |
| 2020-11-03 06:56:51 | → | secdragon1 joins (~secdragon@185.204.1.185) |
| 2020-11-03 06:57:32 | × | emnmauiigw^ quits (emnmauiigw@ip98-184-89-2.mc.at.cox.net) () |
| 2020-11-03 06:58:36 | → | tsrt^ joins (tsrt@ip98-184-89-2.mc.at.cox.net) |
| 2020-11-03 06:59:09 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2020-11-03 07:00:42 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Ping timeout: 268 seconds) |
| 2020-11-03 07:01:21 | → | mimi_vx joins (~mimi@tulipan.habr.nat.praha12.net) |
| 2020-11-03 07:03:26 | → | dilinger joins (~dilinger@spindle.queued.net) |
| 2020-11-03 07:03:38 | × | mimi1vx quits (~mimi@2a01:490:16:1026:90cd:be5f:a52c:e47e) (Ping timeout: 264 seconds) |
| 2020-11-03 07:05:55 | → | danvet_ joins (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) |
| 2020-11-03 07:06:37 | × | danso quits (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9) |
| 2020-11-03 07:06:57 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2020-11-03 07:11:23 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-gtoygnwcsyvwpslb) (Quit: Connection closed for inactivity) |
| 2020-11-03 07:20:26 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2020-11-03 07:22:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-03 07:23:19 | → | m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) |
| 2020-11-03 07:26:26 | × | alp quits (~alp@2a01:e0a:58b:4920:adca:d707:6534:9087) (Ping timeout: 264 seconds) |
| 2020-11-03 07:27:20 | × | Jonno_FTW quits (~come@api.carswap.me) (Ping timeout: 265 seconds) |
| 2020-11-03 07:28:51 | × | jedws quits (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-03 07:34:08 | → | Jonno_FTW joins (~come@api.carswap.me) |
| 2020-11-03 07:36:46 | <dminuoso> | The annoying part of this, it promotes yak shaving! |
| 2020-11-03 07:37:03 | <dminuoso> | "Refactor half your codebase? Easier done than said" |
| 2020-11-03 07:41:42 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-03 07:41:42 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2020-11-03 07:43:02 | <bqv> | I couldn't care less. Programming is my hobby, I'll happily shave yaks all day long |
| 2020-11-03 07:46:20 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2020-11-03 07:46:28 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-03 07:50:11 | → | chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) |
| 2020-11-03 07:51:23 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-03 07:52:45 | → | Franciman joins (~francesco@host-79-36-167-172.retail.telecomitalia.it) |
| 2020-11-03 07:53:41 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2020-11-03 07:55:50 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 264 seconds) |
| 2020-11-03 07:55:53 | → | dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) |
| 2020-11-03 07:56:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-11-03 07:57:40 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection) |
| 2020-11-03 08:00:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-03 08:03:59 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2020-11-03 08:05:28 | → | teardown_ joins (~user@gateway/tor-sasl/mrush) |
| 2020-11-03 08:06:47 | → | jelleke joins (~jelle@2a01:7c8:aac1:50d:5054:ff:fe3b:9b7d) |
| 2020-11-03 08:07:29 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Remote host closed the connection) |
| 2020-11-03 08:07:56 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2020-11-03 08:08:43 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 240 seconds) |
| 2020-11-03 08:09:06 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-03 08:12:50 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
All times are in UTC.