===> Cleaning for idris2-0.6.0