Agda-2.3.2.2: A dependently typed functional programming language and proof assistant
Agda.Syntax.Abstract.Views
Synopsis
data AppView Source
Constructors
appView :: Expr -> AppViewSource
unAppView :: AppView -> ExprSource
isSet :: Expr -> BoolSource
Check whether we are dealing with a universe.