compiled coverage doc *\.swp *~ \.\#* popl-2017/icfp-2016