Alex Hubers
Toggle navigation
about
publications
artifacts
cv
teaching
notes
Notes and miscellanea.
Notes
The Yoneda Lemma for the Functional Programmer