Differences-with-paper
Differences with the paper.
For brevity, the paper makes the following slight simplfications
compared to the ABNF library:
- The forms in the paper omit
guards,
rule classes,
measures,
hints,
keyed options for documentation (e.g. :short),
and some keyed options for FTY types (e.g. :pred).
- The paper uses
defun,
mutual-recursion,
defthm, and
defun-sk
instead of
define,
defines,
defrule, and
define-sk.
- The paper uses slightly shorter names
for the parameters of some functions
(e.g. alt instead of alternation).
- The paper uses *abnf-grammar*
as the name of the constant *grammar*.
