Links to codex

codex-semantics-library · Jul 12, 2024 · 00c5b66 · 00c5b66
1 parent ee29cea
commit 00c5b66
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -307,7 +307,7 @@ let map2 =
 ## Release status
 
 This should be close to a stable release. It is already being
-used as part of a larger project successfully, and this usage as helped us mature
+used as part of a [larger project](https://codex.top) successfully, and this usage as helped us mature
 the interface. As is, we believe the project is usable, and we don't anticipate
 any major change before 1.0.0. We didn't commit to a stable release straight
 away as we would like a bit more time using this library before doing so.

diff --git a/src/index.mld b/src/index.mld
@@ -403,12 +403,11 @@ liberty of having a generic type as a key.
 {1 Release status}
 
 This should be close to a stable release. It is already being
-used as part of a larger project successfully, and this usage as helped us mature
+used as part of a {{: https://codex.top}larger project} successfully, and this usage as helped us mature
 the interface. As is, we believe the project is usable, and we don't anticipate
 any major change before 1.0.0. We didn't commit to a stable release straight
 away as we would like a bit more time using this library before doing so.
 
-
 {1 Known issues}
 
 There is a bug in the OCaml typechecker which prevents us from directly