Drop support for Mercurial, "dynamic markup". Add README.
Chris Pressey
6 years ago
| 0 | |
c61d976b860aff8e44329a94168eb155f61e6876 rel_1_0_2007_1101
|
| 1 | |
c5dde5087ebcb1fbaf9ea07009c2296d37908f07 rel_1_0_2010_0429
|
| 2 | |
14b4a3cc59df6228eb29949daf786f1ec73e1433 rel_1_0_2011_1214
|
| 3 | |
e1bffe634c0cc87fae5942c49a28a4d463204001 rel_1_0_2014_0819
|
|
0 |
Cabra
|
|
1 |
=====
|
|
2 |
|
|
3 |
This is the reference distribution for Cabra, a formal programming language
|
|
4 |
whose programs form an idempotent semiring under certain operations.
|
|
5 |
|
|
6 |
For a definition of the Cabra language automaton, see the file `cabra.html`
|
|
7 |
in the `doc` directory. (Which should probably be converted to Markdown
|
|
8 |
someday, but that day is not today.)
|
|
9 |
|
|
10 |
There is also a reference implementation of the language in Haskell
|
|
11 |
in the `src` directory.
|
| 3 | 3 |
<head>
|
| 4 | 4 |
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
|
| 5 | 5 |
<title>The Cabra Programming Language</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 |
|