Update brat/Brat/Syntax/Value.hs

Co-authored-by: Mark Koch <[email protected]>
CQCL · Jan 14, 2025 · 0752c7c · 0752c7c
1 parent eb68510
commit 0752c7c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/brat/Brat/Syntax/Value.hs b/brat/Brat/Syntax/Value.hs
@@ -160,7 +160,7 @@ data Val :: N -> Type where
   VApp :: VVar n -> Bwd (Val n) -> Val n
 
 -- Define a naive version of equality, which only says whether the data
--- structures are on-the-node equal
+-- structures are on-the-nose equal
 instance Eq (Val n) where
   VNum a == VNum b = a == b
   (VCon c xs) == (VCon d ys) = c == d && xs == ys