This is the reference distribution for Cabra, a formal programming language whose programs form an idempotent semiring under certain operations.
For a definition of the Cabra language automaton, see the file cabra.html
in the doc directory. (Which should probably be converted to Markdown
someday, but that day is not today.)
There is also a reference implementation of the language in Haskell
in the src directory.