👩💻 Join our community of thousands of amazing developers!
Back during the summer of 2019, I worked a bit on the Coq kernel. At the same time, I posted a lot of toots on Mastodon about whatever random problems I was encountering. I’ve decided to collect them here, as it might just be that some of these will be useful to me again at some point. 12 June 2019 The entire French style guide was deleted and replaced with an English translation (-ish) IMO they should’ve kept both versions? Would be nice to have translations, don’t need to completely delete ...