[gylterud]

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.

[dmead]

Do you remember who ran it? I used to go to hack phi at UPenn, which attracted a significant chunk of the community.

[gylterud]

The lecture? No, unfortunately.