Also mention Théo's README.md files in pcuic/ and safechecker/

MetaCoq · Nov 16, 2019 · 914e4c6 · 914e4c6
1 parent 80a472d
commit 914e4c6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -55,6 +55,8 @@ the development and installation instructions for the popl artifact sources vers
 | 4.3: Erasure Correctness     |  erasure ErasureCorrectness                            |
 | Extracted erasure            |  test-suite erasure_test                               |
 
+The `pcuic/theories/README.md` and `safechecker/theories/README.md` also provide detailed
+summaries of the files in these two modules.
 
 If you don't have Coq installed, the easiest way to get both is to use the 
 `opam` package manager. First install `opam` from your package manager