git.iko.soy/Idris-dev
on a87f69e help sign in
Idris-dev/test/interactive004
4 files
../ expectedAdd :refine (:ref) command for refining a hole inputMove Fin, Vect and So from prelude to base interactive004.idrMove Fin, Vect and So from prelude to base runAdd :refine (:ref) command for refining a hole