Idris2Doc : Idrall.Resolve

Idrall.Resolve

(source)

Definitions

resolve : List FilePath -> Maybe FilePath -> Expr ImportStatement -> IOEither Error (Expr Void)
Visibility: export