::
GHC 9.14.1 · lts/ghc-9.14.x · 6d5fdfd · 2026-10-12
ModuleAgda-2.8.0.2Haskell2010
parseIdiomBracketsSeq :: Range -> [Expr] -> ScopeM Expr