Update README.md

rahulc29 · Nov 3, 2023 · 843daf0 · 843daf0
1 parent ba55a8f
commit 843daf0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -27,7 +27,7 @@ Weak timeline :
 
 # Build Instructions
 
-You will need Agda >= 2.6.3 and a [custom fork](https://github.com/rahulc29/cubical) of the Cubical library to build the code.
+You will need Agda >= 2.6.3 and a [custom fork](https://github.com/rahulc29/cubical/tree/rahulc29/realizability) of the Cubical library to build the code.
 
 The custom fork has a few additional definitions in the category theory modules. I will hopefully integrate them into the Cubical library.