The Burro Programming Language

Designed and implemented by Chris Pressey

burro

Version: 1.0

Revision : 2007.1026

Tags: bsdl c eso hs lang theory

Download

Latest:

burro-2007.1026.zip

Requirements

Description

Burro is a Brainfuck-like programming language whose programs form an algebraical group under the operation of concatenation, and over the equivalence relation of "semantically identical." The upshot of this is that, for every Burro program, there is an antiprogram that can be appended to it, annihilating it and resulting in a "no-op" program.

Documentation

Browse