Idris2Doc : BeTTI

BeTTI

(source)
Reexports
import public BeTTI.FunExt
import public BeTTI.Quotient