Idris2Doc
: Idrall.Resolve
Index
Default
Alternative
Black & White
Idrall.Resolve
(
source
)
Definitions
resolve
:
List
FilePath
->
Maybe
FilePath
->
Expr
ImportStatement
->
IOEither
Error
(
Expr
Void
)
Visibility
:
export