git @ Cat's Eye Technologies Cabra / rel_1_0_2018_0620
Drop support for Mercurial, "dynamic markup". Add README. Chris Pressey 2 years ago
3 changed file(s) with 12 addition(s) and 8 deletion(s). Raw diff Collapse all Expand all
+0
-4
.hgtags less more
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.
33 <head>
44 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
55 <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 -->
106 </head>
117 <body>
128