===> Cleaning for idris-1.3.3