IdrisDoc: Pruviloj.Induction

Pruviloj.Induction

induction : Raw -> Elab (List TTName)

Perform induction on some expression to solve the current
goal. Return a list of new holes to be solved.