Agda-2.5.1.1: A dependently typed functional programming language and proof assistant
Agda.Interaction.Library.Base
type LibName = String Source #
data AgdaLibFile Source #
Constructors
Fields
Instances
Methods
showsPrec :: Int -> AgdaLibFile -> ShowS #
show :: AgdaLibFile -> String #
showList :: [AgdaLibFile] -> ShowS #