In this post, I give a top-level overview of my work on formally verified static analyses| danilafe.com
In this post, I talk about a pattern I've observed in the Agda standard library.| danilafe.com
