Agda-2.6.3.20230914: A dependently typed functional programming language and proof assistant
Quick Jump
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell2010
Agda.Syntax.IdiomBrackets
Documentation
parseIdiomBracketsSeq
::
Range
-> [
Expr
] ->
ScopeM
Expr
Source
#