unofficial mirror of
 help / color / mirror / code / Atom feed
* A formal grammar for Org
@ 2021-04-04  6:11 Tom Gillespie
  0 siblings, 0 replies; only message in thread
From: Tom Gillespie @ 2021-04-04  6:11 UTC (permalink / raw)
  To: emacs-orgmode

Dear all,
   Here is a draft of a formal grammar for Org mode [1]. It is still
in a rough state, despite quite a bit of work. However, following some
changes to improve performance for parsing real (big) Org files, I
think it is time to share it with the community so that we can start
to gather feedback. There are a number of opportunities that I have
found for simplifying the org grammar (sometimes by extending it to
make it more regular, and in the process adding useful features) that
are much easier to understand with this grammar in hand as a
reference. The grammar itself is implemented using Racket's #lang brag
(see [2] for an overview of brag's syntax). I had considered trying to
break it up into literate sections in an Org file, but for now decided
to leave it as a single file to simplify the development workflow. As
a result the full implementation is fairly long [3]. Comments and
feedback would be greatly appreciated. Best!


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-04-04  6:11 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-04-04  6:11 A formal grammar for Org Tom Gillespie

unofficial mirror of

This inbox may be cloned and mirrored by anyone:

	git clone --mirror orgmode/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 orgmode orgmode/ \
	public-inbox-index orgmode

Example config snippet for mirrors.
Newsgroups are available over NNTP:

code repositories for project(s) associated with this inbox:

	orgmode.git.git (no URL configured)

AGPL code for this site: git clone http://ou63pmih66umazou.onion/public-inbox.git