git.iko.soy/Idris-dev
on 5fce446 help sign in
Idris-dev/test/totality006
4 files
../ expectedMove Fin, Vect and So from prelude to base runTweak notion of recoverability in coverage checker totality006.idrMove Fin, Vect and So from prelude to base totality006a.idrMove Fin, Vect and So from prelude to base