Idris.Driver

Definitions

CustomBackends : Type

Visibility: public export

mainWithCodegens : List (String, Codegen) -> IO ()

Visibility: export