------------------------------------------------------------------------ -- A total parser combinator library ------------------------------------------------------------------------ -- This module just reexports some other modules, to make them easier -- to use. See Everything.agda for an overview of the different -- modules. module StructurallyRecursiveDescentParsing where -- Parser indices. open import StructurallyRecursiveDescentParsing.Index public -- Grammars. open import StructurallyRecursiveDescentParsing.Grammar public -- Derived parser combinators. open import StructurallyRecursiveDescentParsing.Lib public -- A depth-first parser backend. open import StructurallyRecursiveDescentParsing.Backend.DepthFirst public