Login
From:
danilafe.com
(Uncensored)
subscribe
The "Deeply Embedded Expression" Trick in Agda
https://danilafe.com/blog/agda_expr_pattern/
links
backlinks
Roast topics
Find topics
Find it!
In this post, I talk about a trick I developed to simplify certain Agda proofs.
