Roast topics
Find topics
Find it!
The "Is Something" Pattern in Agda
In this post, I talk about a pattern I've observed in the Agda standard library.
| danilafe.com
