From 48f272a8b7a5ce5d1ec1e528595ba4a1fedce39a Mon Sep 17 00:00:00 2001
From: Julin S <48789920+ju-sh@users.noreply.github.com>
Date: Fri, 27 Oct 2023 23:25:31 +0530
Subject: [PATCH] Fix typo in name

Neutral element in `bigop`.
---
 tex/chTypeInference.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tex/chTypeInference.tex b/tex/chTypeInference.tex
index 699501e..ae7e0ec 100644
--- a/tex/chTypeInference.tex
+++ b/tex/chTypeInference.tex
@@ -1256,7 +1256,7 @@ \subsection{The generic notation for \C{foldr}}
 slightly specific variant of the \C{foldr} iterator, in order to
 clearly identify all components. This variant, called \C{bigop}, 
 takes as argument a range \C{(r : seq I)}, a neutral element
-\C{(op : R)}, and a binary operation \C{(op : R -> R -> R)}, to be
+\C{(idx : R)}, and a binary operation \C{(op : R -> R -> R)}, to be
 iterated. Note that the type of the elements in the range are not the
 same as the type of the arguments of the iterated operation. Indeed,
 \C{bigop} also uses a function \C{(F : I -> R)}, as well as a