/parser-combinators

Primary LanguageAgdaMIT LicenseMIT

------------------------------------------------------------------------
Total parser combinators and parsing of mixfix operators
------------------------------------------------------------------------

TotalRecognisers and TotalParserCombinators
Author: Nils Anders Danielsson

  Described in the paper "Total Parser Combinators".

StructurallyRecursiveDescentParsing
Authors: Nils Anders Danielsson and Ulf Norell

  Described in the paper "Structurally Recursive Descent Parsing".
  This paper draft may currently be a bit out of date.

Mixfix
Author: Nils Anders Danielsson

  Described in the paper "Parsing Mixfix Operators" (coauthored by Ulf
  Norell).