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