git.iko.soy/Idris-dev
on ee32989 help sign in
Idris-dev/test/sourceLocation001
3 files
../ SourceLoc.idrMove Fin, Vect and So from prelude to base expectedMove Fin, Vect and So from prelude to base runA new primitive tactic for getting source locations