git @ Cat's Eye Technologies Cabra / rel_1_0_2018_0620

Tree @rel_1_0_2018_0620 (Download .tar.gz)


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.