Commit 0592bcdfd7b169511fe2794b08b2ad1e63fd5afe - gcct

Fixed typo in NFA example Getty Ritter 11 years ago

1 changed file(s) with 1 addition(s) and 1 deletion(s). Collapse all Expand all

-1

gcct.tex less more

309	309	aState : NFA A
310	310	aState =
311	311	merge as from
312		let cState = (merge cs from ~~aToB~~ cs <- as) in
	312	let cState = (merge cs from cToA cs <- as) in
313	313	aToC as <- cState
314	314	aToB as <- (merge bs from bToC bs <- cState)
315	315	\end{verbatim}