Comment by gylterud
1 year ago
Oh, I owe a lot to freenode and #haskell and #math in particular. I remember one of them ran a lecture on category theory, live. It was also there I first heard about Martin-Löf type theory.
It was such a great time and place for a young person interested in learning about Haskell.
Do you remember who ran it? I used to go to hack phi at UPenn, which attracted a significant chunk of the community.
The lecture? No, unfortunately.