diff options
Diffstat (limited to 'docs/core-spec/README')
| -rw-r--r-- | docs/core-spec/README | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/core-spec/README b/docs/core-spec/README index 1fb304d261..db864338c6 100644 --- a/docs/core-spec/README +++ b/docs/core-spec/README @@ -30,7 +30,7 @@ into LaTeX math-mode code. Thus, the file core-spec.mng is the source for core-spec.tex, which gets processed into core-spec.pdf. The file CoreSyn.ott contains the grammar of System FC, mostly extracted from -compiler/coreSyn/CoreSyn.lhs. Here are a few pointers to help those of you +compiler/coreSyn/CoreSyn.hs. Here are a few pointers to help those of you unfamiliar with Ott: - The {{ ... }} snippets are called "homs", and they assist ott in translating @@ -69,7 +69,7 @@ your notation to LaTeX. Three different homs are used: it if necessary to disambiguate other parses. The file CoreLint.ott contains inductively defined judgements for many of the -functions in compiler/coreSyn/CoreLint.lhs. Each judgement is labeled with an +functions in compiler/coreSyn/CoreLint.hs. Each judgement is labeled with an abbreviation to distinguish it from the others. These abbreviations appear in the source code right after a turnstile |-. The declaration for each judgment contains a reference to the function it represents. Each rule is labeled with @@ -80,4 +80,4 @@ If you need help with these files or do not know how to edit them, please contact Richard Eisenberg (eir@cis.upenn.edu). [1] http://www.cl.cam.ac.uk/~pes20/ott/ -[2] http://www.cl.cam.ac.uk/~pes20/ott/ott_manual_0.21.2.pdf
\ No newline at end of file +[2] http://www.cl.cam.ac.uk/~pes20/ott/ott_manual_0.21.2.pdf |