From 582203f223e02622b3584118a0f7c2e2f59d6412 Mon Sep 17 00:00:00 2001 From: zy C Date: Sat, 26 Sep 2026 18:08:26 -0700 Subject: [PATCH] docs(AGENTS): prefer Rrbvec over O(n^2) List concat patterns --- AGENTS.md | 1 + 1 file changed, 1 insertion(+) diff --git a/AGENTS.md b/AGENTS.md index e8eafe2b..4a809b47 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -5,3 +5,4 @@ - MUST NOT modify any dune file during development unless explicitly asked See `.agents/skills/` for platform-specific development guides and `docs/agent-guide/` for design specifications. +- Avoid O(n²) `List` patterns such as `List.concat` and repeated `List.append` on large sequences; when the project already depends on the `rrbvec` package, use `Rrbvec` vectors instead.