In this post, I introduce an algebraic structure called a lattice, which underpins certain program analyses| danilafe.com
In this post, I talk about a trick I developed to simplify certain Agda proofs.| danilafe.com
This chapter describes some things you’ve learned about already in more detail, and adds some new things as well. More on Lists: The list data type has some more methods. Here are all of the method...| Python documentation