Paolo Capriotti's blog
Type theory, category theory, functional programming
Blog
Archive
About
Category: agda
2013
Another proof of function extensionality
Sep
18
2013