Skip to content
Back to pull request #637

Update idris-make-lemma to insert lemma above doc string of current function. #259

Sign in to view logs

Update idris-make-lemma to insert lemma above doc string of current function.

Update idris-make-lemma to insert lemma above doc string of current function. #259

Annotations

1 warning

This job succeeded