In this post, I introduce an algebraic structure called a lattice, which underpins certain program analyses| danilafe.com
Table of Contents| danilafe.com
In this post, I talk about a trick I developed to simplify certain Agda proofs.| danilafe.com
