README.md @master — view markup · raw · history · blame
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
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