/talks/2015-06-zipper/


Name Size (bytes) Date Description
../  Parent directory
Figs.hs11852015-Jun-14 
ZipperDeriv.lhs106912015-Jun-14 
ZipperDeriv.pdf1929412015-Jun-14