README: hunt down yet another dead link

Author: pmbittner

README.md

@@ -379,7 +379,7 @@ The following table shows where each of the definitions, theorems, and proofs fr
 | Corollary 5.5   | CCC ≡ 2CC ≡ ADT ≡ 𝑛-CC            | `CCC≋NCC`, `NCC≋2CC`, and `2CC≋ADT`                                | [src/Translation/LanguageMap.lagda.md](src/Translation/LanguageMap.lagda.md)                         |                                                                                                                                                                    |
 | Theorem 5.6     | Complete(CaO)                     | `VariantList-is-Complete`                                          | [src/Lang/VariantList.lagda.md](src/Lang/VariantList.lagda.md)                                       |                                                                                                                                                                    |
 | Theorem 5.7     | Sound(CaO)                        | `VariantList-is-Sound`                                             | [src/Lang/VariantList.lagda.md](src/Lang/VariantList.lagda.md)                                       |                                                                                                                                                                    |
-| Theorem 5.8     | CaO ≽ ADT                         | `VariantList≽ADT`                                                  | [src/Translation/Lang/ADT-to-VariantList.lagda.md](src/Translation/Lang/ADT-to-VariantList.lagda.md) |                                                                                                                                                                    |
+| Theorem 5.8     | CaO ≽ ADT                         | `VariantList≽ADT`                                                  | [src/Translation/Lang/ADT-to-VariantList.agda](src/Translation/Lang/ADT-to-VariantList.agda)         |                                                                                                                                                                    |
 | Theorem 5.10    | CCC ≽ CaO                         | `CCC≽VariantList`                                                  | [src/Translation/Lang/VariantList-to-CCC.lagda.md](src/Translation/Lang/VariantList-to-CCC.lagda.md) |                                                                                                                                                                    |
 | Corollary 5.11  | CCC is complete and sound         | `CCC-is-complete`, `CCC-is-sound`                                  | [src/Translation/LanguageMap.lagda.md](src/Translation/LanguageMap.lagda.md)                         |                                                                                                                                                                    |
 |                 | 2CC is complete and sound         | `2CC-is-complete`, `2CC-is-sound`                                  | [src/Translation/LanguageMap.lagda.md](src/Translation/LanguageMap.lagda.md)                         |                                                                                                                                                                    |