diff --git a/AGENTS.md b/AGENTS.md new file mode 100644 index 00000000..9ad6d680 --- /dev/null +++ b/AGENTS.md @@ -0,0 +1,3 @@ +# AGENTS + +- 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.