Create permutations.idr