Remove dynamic markup, Mercurial support. Add README.
Chris Pressey
4 years ago
| 0 | |
syntax: glob
|
| 1 | |
|
| 2 | |
*.hi
|
| 3 | |
*.o
|
| 4 | |
Burro
|
| 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.
|
| 3 | 3 |
<head>
|
| 4 | 4 |
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
|
| 5 | 5 |
<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 -->
|
| 10 | 6 |
</head>
|
| 11 | 7 |
<body>
|
| 12 | 8 |
|