Agda.Syntax.Abstract.Views
Documentation
Constructors
Application Head [NamedArg Expr] | |
NonApplication Expr | TODO: if we allow beta-redexes (which we currently do) there could be one here. |
headToExpr :: Head -> ExprSource
Agda-2.2.6: A dependently typed functional programming language and proof assistant
Agda.Syntax.Abstract.Views
Constructors
Application Head [NamedArg Expr] | |
NonApplication Expr | TODO: if we allow beta-redexes (which we currently do) there could be one here. |
headToExpr :: Head -> ExprSource