* a back up of the agda-oplss13 of Dan Licata and Ian Voysey * Licata's page http://www.cs.cmu.edu/~drl/teaching/oplss13/ * videos https://www.cs.uoregon.edu/research/summerschool/summer13/curriculum.html * the code is update to the git version of agda