git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/proofsearch002
4 files
../ Process.idrprim__vm needs to take a World reference expected.outRename expected, input and run proofsearch002.idrAdd Cast instance for String to Nat run.shRename expected, input and run