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

Agda.Syntax.Abstract.Views

Documentation

data AppView

Constructors

Application Expr [NamedArg Expr]