search

steshaw / plt

Programming Language Theory λΠ
https://steshaw.org/plt/
5.24k stars 338 forks source link

Link to "Categories for the working mathematician" is broken #57

Closed aditya-giri closed 1 year ago

aditya-giri commented 1 year ago

Couldn't find it on the wayback machine either, but here's another link that seems to work for now: http://www.mtm.ufsc.br/~ebatista/2016-2/maclanecat.pdf

(happy to raise a PR if you're still maintaining this)

steshaw commented 1 year ago

Thanks. Feel free to raise a PR