core-spec: Modify `.lhs` to `.hs` (source files)
[ghc.git] / docs / core-spec / README
index 1fb304d..db86433 100644 (file)
@@ -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