Commits

Anonymous committed 7738cf3

Import latest HTML and LHS tweaks.

Comments (0)

Files changed (2)

doc/burro-1.0.html

 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
 <title>The Burro Programming Language, version 1.0</title>
+  <!-- begin html doc dynamic markup -->
+  <script type="text/javascript" src="/contrib/jquery-1.6.4.min.js"></script>
+  <script type="text/javascript" src="/scripts/documentation.js"></script>
+  <!-- end html doc dynamic markup -->
 </head>
 <body>
 
 <p>October 2007, Chris Pressey, Cat's Eye Technologies.</p>
 
 <p><em>Note: This document describes version 1.0 of the Burro language.  For documentation
-on the latest version of the language, please see <a href="burro.html">burro.html</a>.</em></p>
+on the latest version of the language, please see <a href="../src/_Burro.lhs.html">Burro.lhs</a>.</em></p>
 
 <h2>1. Introduction</h2>
 
-> -- coding: UTF-8
+-> encoding: UTF-8
 
 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.
 
 
 Changes from Burro 1.0
 >     show GoRight = ">"
 >     show (Test a b) = "(" ++ (show a) ++ "/" ++ (show b) ++ ")"
 >     show (Seq a b) = (show a) ++ (show b)
->
+> 
 > parse string =
 >         let
 >             (rest, acc) = parseProgram string Null
 >         in
 >             trim acc
->
+> 
 > parseProgram [] acc =
 >     ([], acc)
 > parseProgram ('e':rest) acc =
 >     (rest, acc)
 > parseProgram (_: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]
 >     deriving (Read)
->
+> 
 > instance Show Tape where
 >     show t@(Tape l r) =
 >         let
 > ensurecell x  = x
 > 
 > strip (Tape l r) = Tape (ensurecell (stripzeroes l)) (stripzeroes r)
->
+> 
 > tapeeq :: Tape -> Tape -> Bool
 > tapeeq t1 t2 =
 >     let
 >         (Tape t2l t2r) = strip t2
 >     in
 >         (t1l == t2l) && (t1r == t2r)
->
+> 
 > instance Eq Tape where
 >     t1 == t2 = tapeeq t1 t2
 
 
 > data State = State Tape Tape Bool
 >     deriving (Show, Read, Eq)
->
+> 
 > newstate = State (tape [0]) (tape [0]) True