git.iko.soy/Idris-dev
on 4e34dfd help sign in
Idris-dev/test/interactive002
4 files
../ expectedImprove inference in monadic code inputMove Fin, Vect and So from prelude to base interactive002.idrMove Fin, Vect and So from prelude to base runMore consistency checking on inference constraints