The Burro Programming Language
the idea that Burro qualifies as universal.
For further background information on the Burro project, you may also wish
-to read the [Burro 1.0 article](burro-1.0.html), with the understanding that
-the language description given there is obsolete.
+to read the [Burro 1.0 article](../doc/burro-1.0.html), with the understanding
+that the language description given there is obsolete.
> show (Test a b) = "(" ++ (show a) ++ "/" ++ (show b) ++ ")"
> show (Seq a b) = (show a) ++ (show b)
> (rest, acc) = parseProgram string Null
> parseProgram ('e':rest) acc =
> parseProgram (_:rest) acc =
> trim (Seq Null a) = trim a
> trim (Seq a Null) = trim a
> trim (Seq a b) = Seq (trim a) (trim b)
> data Tape = Tape [Integer] [Integer]
> instance Show Tape where
> strip (Tape l r) = Tape (ensurecell (stripzeroes l)) (stripzeroes r)
> tapeeq :: Tape -> Tape -> Bool
> (Tape t2l t2r) = strip t2
> (t1l == t2l) && (t1r == t2r)
> t1 == t2 = tapeeq t1 t2
> data State = State Tape Tape Bool
> deriving (Show, Read, Eq)
> newstate = State (tape ) (tape ) True