Posted by jon zingale on Aug 03, 2020; 7:57pm URL: http://friam.383.s1.nabble.com/actual-vs-potential-tp7598086p7598089.html
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.