git.iko.soy/Idris-dev
on cbbdb3e help sign in
Idris-dev/test/reg035
5 files
../ expectedMove Fin, Vect and So from prelude to base reg035.idrFirst renaming attempt reg035a.lidrMove Fin, Vect and So from prelude to base reg035b.idrMove Fin, Vect and So from prelude to base runEvaluator bug fix