../ _darcs/ 15-Feb-2019 09:11 - haskell.sty 15-Feb-2019 09:10 12900 partial-eval.bib 15-Feb-2019 09:10 273807 pj.bib 15-Feb-2019 09:10 49248 proof.sty 15-Feb-2019 09:11 7239 sigplanconf.cls 15-Feb-2019 09:10 34768 supercomp.tex 15-Feb-2019 09:10 82081 undertilde.sty 15-Feb-2019 09:11 1216