Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
danilafe.com
(Uncensored)
subscribe
The "Is Something" Pattern in Agda
https://danilafe.com/blog/agda_is_pattern/
links
backlinks
In this post, I talk about a pattern I've observed in the Agda standard library.
