Update idris-make-lemma to insert lemma above doc string of current function.#637
Open
keram wants to merge 1 commit intoidris-hackers:mainfrom keram:idris-make-lemma-doc-string
+138-3
