In this post, I talk about a trick I developed to simplify certain Agda proofs.| danilafe.com
In this post, I talk about a pattern I've observed in the Agda standard library.| danilafe.com
Table of Contents| danilafe.com
