View Source Document

README.md

Burro

Try it online @ catseye.tc | Wiki entry @ esolangs.org | See also: Tandem


This is the reference distribution for Burro, a formal programming language whose programs form a group (an algebraic structure from group theory). The precise sense of this statement is explained in the accompanying document The Sense in which Burro Programs form a Group, but the following can be taken as a high-level summary: For every Burro program text, there exists an "annihilator" program text which, when concatenated to the original program text, forms a "no-op" program.

The current version of the Burro language is 2.0, and is defined by the Literate Haskell file Language/Burro/Definition.lhs in the src directory, which also serves as the reference implementation of the language.

Note: In some repository viewers (such as Codeberg), viewing the contents of the directory src/Language/Burro/ will rendering the definition with the Markdown formatting within the Literate Haskell file nicely formatted, making it more readable.

History