Skip to content
Idris1 on Ubuntu

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

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. #275

Annotations

1 warning

This job succeeded