Lean blogs

Stream: general

[Brandon Brown]

Anyone else regularly blogging about Lean besides Kevin Buzzard? I love reading the Xena blog posts and just want more to read.

[Mathieu Guay-Paquet]

It's far from regular, but I do have a blog post about Lean: A practical difference between Props and Types in Lean

[Brandon Brown]

cool, thanks!

[Kevin Buzzard]

@Brandon Brown if you have any requests for possible topics I'd be happy to hear about them. In the past I'd just blog about something when I understood it but now I've understood a lot and so I'm writing fewer "explanatory" posts

[Brandon Brown]

Well I've pretty much enjoyed all your posts so I will just wait to be surprised by whatever you write next :)