Idris2Doc
: TTImp.TTImp.Functor
Index
Default
Alternative
Black & White
TTImp.TTImp.Functor
(
source
)
Definitions