Heck, Idris can in some cases write code for you based on solving the types you provided. Powerfully-typed languages also work much better for structured editi

Heck, Idris can in some cases write code for you based on solving the types you provided. Powerfully-typed languages also work much better for structured editing. http://docs.idris-lang.org/en/latest/tutorial/interactive.html#proofsearch http://docs.idris-lang.org/en/latest/tutorial/interactive.ht...