diff --git a/Cubical/README.agda b/Cubical/README.agda
index c1f7d002fa..094eccbc73 100644
--- a/Cubical/README.agda
+++ b/Cubical/README.agda
@@ -65,6 +65,9 @@ import Cubical.ZCohomology.Everything
 -- Algebra library (in development)
 import Cubical.Algebra.Everything
 
+-- Algebraic geometry
+import Cubical.AlgebraicGeometry.Everything
+
 -- Various talks
 import Cubical.Talks.Everything