git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/totality007
1 folder, 3 files
../ src/Stop building packages if there are totality mismatches expectedStop building packages if there are totality mismatches runStop building packages if there are totality mismatches totality.ipkgStop building packages if there are totality mismatches