blog: use aya-lexer in more places

aya-prover · Dec 10, 2024 · 275ab57 · 275ab57
1 parent 636079b
commit 275ab57
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/aya/blog/binops.aya.md b/aya/blog/binops.aya.md
@@ -39,7 +39,7 @@ In case we found the two operators share the same priority, Aya will report an e
 When importing operators from other modules,
 we can locally specify additional associativity and precedence information:
 
-```
+```aya-lexer
 open import Primitives using (
   invol       as fixl  ~  tighter =, \/, /\,
   intervalMin as infix /\ tighter \/,