git @ Cat's Eye Technologies Burro / rel_2_0_2018_0620
Remove dynamic markup, Mercurial support. Add README. Chris Pressey 2 years ago
4 changed file(s) with 15 addition(s) and 16 deletion(s). Raw diff Collapse all Expand all
+0
-5
.hgignore less more
0 syntax: glob
1
2 *.hi
3 *.o
4 Burro
+0
-7
.hgtags less more
0 446494e69ae4b834e3f90bddb4b64dcd53888a92 rel_1_0_2007_1026
1 04586e3b1647997bb94416fc81143d589677a28f rel_2_0_2010_0607
2 782a530096f605fe71a99ab39e2cf42d9768cd28 rel_2_0_2011_0525
3 7738cf3757eebf12f8803a514c7b91e456830098 rel_2_0_2012_0619
4 7738cf3757eebf12f8803a514c7b91e456830098 rel_2_0_2012_0619
5 0a4f8308993fbe3a2618f4bdf2bc1aaa656bcae0 rel_2_0_2012_0619
6 1e2b4842b587d13491dad59cc97809f033f8e642 rel_2_0_2014_0819
0 Burro
1 =====
2
3 This is the reference distribution for Burro, a formal programming language
4 whose programs form a group under concatenation of their program texts.
5
6 For the definition of the Burro language version 1.0, which was the
7 first attempt to do this but does not actually succeed in forming a group,
8 see the file `burro-1.0.html` in the `doc` directory. (This should
9 probably be converted to Markdown someday, but that day is not today.)
10
11 For the definition of the Burro language version 2.0, which does indeed
12 form a group, see the Literate Haskell file `Burro.lhs` in the `src`
13 directory. This also serves as a reference implementation of the language,
14 and includes a sketch of a proof that Burro is Turing-complete.
33 <head>
44 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
55 <title>The Burro Programming Language, version 1.0</title>
6 <!-- begin html doc dynamic markup -->
7 <script type="text/javascript" src="/contrib/jquery-1.6.4.min.js"></script>
8 <script type="text/javascript" src="/scripts/documentation.js"></script>
9 <!-- end html doc dynamic markup -->
106 </head>
117 <body>
128