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