Discussion
a perfectable programming language
spankalee: What is up with so many people doing weird capitalization now? Is this some Bay-tech flex? Alok writes their own name, and other names, with leading caps, but not the first word in sentences? It makes it so uncomfortable to read.
ilsubyeega: i like this website, it shows documentation when hovering the code while i see similar stuffs really rare in web blog areas
md224: I believe you can thank Verso for that:https://github.com/leanprover/verso
losvedir: Wow, I read the whole thing without noticing that.But as someone who came of age in the AIM / ICQ / IRC days, it feels pretty normal. That's just how we wrote. I still fall into it by accident when the context is right and I'm not thinking about it (eg Slack at work). I hope youngsters aren't judging me for it.