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/ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/
