Agda-2.5.1: A dependently typed functional programming language and proof assistant

Safe HaskellSafe
LanguageHaskell98

Agda.Interaction.Library.Base

Documentation

type LibName = String Source

data AgdaLibFile Source

Constructors

AgdaLib 

Fields

libName :: LibName
 
libFile :: FilePath
 
libIncludes :: [FilePath]
 
libDepends :: [LibName]
 

Instances