From 275ab57c3f5bad31c6743fa4ebeab48f03116da7 Mon Sep 17 00:00:00 2001 From: ice1000 Date: Mon, 9 Dec 2024 23:27:35 -0500 Subject: [PATCH] blog: use aya-lexer in more places --- aya/blog/binops.aya.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/aya/blog/binops.aya.md b/aya/blog/binops.aya.md index f56b99b..7f49143 100644 --- 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 \/,