git.iko.soy/Idris-dev
on bb400de help sign in
Idris-dev/docs/proofs
5 files
../ index.rstMove tactic proofs out of main tutorial inductive.rstSpelling in Sphinx documentation interactive.rstMerge pull request #2518 from jeremy-w/jeremy-w/mark-interactive-proving-as-deprecated patterns.rstclass->interface change in rest of tutorial pluscomm.rstclass->interface change in rest of tutorial