Agda implementations of stuff from the lecture http://www.stg.tu-darmstadt.de/teaching/courses/wise_2013_14/tspl_wise_2013_14/index_tspl_wise_2013_14.en.jsp