Idris2Doc : Profile

Profile

(source)
Reexports
import public Profile.Runner
import public Profile.Statistics
import public Profile.Types