ryan orendorff
posts
Here is everything I have written on this blog!
Dependently typed folds
- December 19, 2020