diff --git a/docs/types.md b/docs/types.md
index b26cf1dd1..bf0c4dc2b 100644
--- a/docs/types.md
+++ b/docs/types.md
@@ -135,7 +135,8 @@ Currently it only supports {pep}`681`, but [they intend](https://github.com/astr
 ### Pyrefly
 
 [Pyrefly] is Meta's take on a Rust-based type checker for Python.
-It also only implements {pep}`681` and based on the (lack of) activity on *attrs*-related issues on their bug tracker there is currently no indication that they plan to support additional *attrs* features.
+As of its 1.2 release, it offers significantly more advanced *attrs* support beyond {pep}`681`, making it a strong option for *attrs* users seeking deeper type-checking coverage.
+See their [*attrs* documentation](https://pyrefly.org/en/docs/attrs/) for details.
 
 
 [Mypy]: http://mypy-lang.org