[FRIAM] actual vs potential ∞

[jon zingale]

In 2011, my buddy Ralf offered me a summer *artist in residence* in Eugene
Oregon. We attended the 10th Annual Oregon Programming Languages Summer
School[⏧], where a few days were spent in a giant lecture hall full of
mostly young men fiddling with Coq. One night, he and I even ran into
Benjamin Pierce riding his bicycle back from the conference! Agda has always
seemed promising to me, however, its dependence on Emacs has remained a
deterrent for me.

[⏧]
https://www.cs.uoregon.edu/research/summerschool/summer11/curriculum.html



--
Sent from: http://friam.471366.n2.nabble.com/