Idris2Doc : Theory

Theory

(source)
A module reexporting various theorems

Reexports

import public Theory.General
import public Theory.List
import public Theory.List1
import public Theory.Tuple