[teyjus] r990 committed - Edited wiki page through web user interface.

[tey...@googlecode.com]

Revision: 990
Author: gopalan.nadathur
Date: Thu Jun 10 13:04:07 2010
Log: Edited wiki page through web user interface.
http://code.google.com/p/teyjus/source/detail?r=990

Modified:
/wiki/SigSyntax.wiki

=======================================
--- /wiki/SigSyntax.wiki Thu Jun 10 13:02:37 2010
+++ /wiki/SigSyntax.wiki Thu Jun 10 13:04:07 2010
@@ -90,7 +90,7 @@

* The intended effect of _accum`_`sig_ declarations is to include the
declarations in the named signatures in the signature being generated from
the text in the present file. Thus, _accum`_`sig_ functions in a manner
similar to _#include_ in C. The possible interactions between sibling
accumulated signatures and the accumulating signature are discussed further
below.

- * Kind declarations are those expressions in the category
_<Sign-Decl>_ that begin with the token kind. The purpose of these
declarations is to identify sorts and type constructors that may be used in
determining types for constants and variables. Thus a declaration of the
form
+ * Kind declarations are those expressions in the category
`<Sign-Decl>` that begin with the token kind. The purpose of these
declarations is to identify sorts and type constructors that may be used in
determining types for constants and variables. Thus a declaration of the
form
{{{
kind foo type -> ... -> type
}}}