docs: note that the links are currently broken

RedPRL · Dec 10, 2023 · 8a5a77f · 8a5a77f
1 parent 5656456
commit 8a5a77f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -10,6 +10,8 @@ This is a formalization of the displacement algebras, their properties, and part
 
 ### Displacement Algebras
 
+🚧 The links are currently broken.
+
 | Displacements                         | Paper Section   | Agda Module                                                                         | OCaml Module(s)                                                                                                                                                     |
 | :------------------------------------ | :-------------- | :---------------------------------------------------------------------------------- | :------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
 | Natural numbers                       | 3.3.1           | [Nat](src/Mugen/Algebra/Displacement/Nat.agda)                                      | [Nat](https://redprl.org/mugen/mugen/Mugen/Shift/Nat) and [Nat](https://redprl.org/mugen/mugen/Mugen/ShiftWithJoin/Nat)                                             |
@@ -28,6 +30,8 @@ This is a formalization of the displacement algebras, their properties, and part
 
 ### Other Theorems
 
+🚧 The links are currently broken.
+
 | Theorems                              | Paper Section      | Agda Module                                                                                      |
 | :------------------------------------ | :----------------- | :----------------------------------------------------------------------------------------------- |
 | Validity of McBride monads            | 3.1                | [McBride](./src/Mugen/Cat/HierarchyTheory/McBride.agda)                                          |