Use full spelling to avoid confusion

josevalim · josevalim · commit 9544d638ed92 · 2025-12-02T12:29:02.000+01:00
diff --git a/_posts/2025-12-02-lazier-bdds-for-set-theoretic-types.markdown b/_posts/2025-12-02-lazier-bdds-for-set-theoretic-types.markdown
@@ -1,6 +1,6 @@
 ---
 layout: post
-title: "Lazier BDDs for set-theoretic types"
+title: "Lazier Binary Decision Diagrams (BDDs) for set-theoretic types"
 authors:
 - José Valim
 - Guillaume Duboc
