Agda-2.3.0: A dependently typed functional programming language and proof assistant
Agda.Syntax.Abstract.Views
data AppView Source
Constructors
appView :: Expr -> AppViewSource
unAppView :: AppView -> ExprSource