Cabra

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.