The Cabra Programming Language

Designed and implemented by Chris Pressey

Description

Cabra is a (somewhat) formal programming language whose programs form an algebraical dioid (an idempotent semiring), modulo the equivalence relation of "computes the same function", under the operations of parallel execution (as the additive operator) and sequential composition (as the multiplicative operator).

Documentation

• The Cabra Programming Language

Browse

See also

• The Burro Programming Language

---

Copyright ©2011 Cat's Eye Technologies.
All rights reserved.