From 3fb5eb8e6b5b9e2660a7395dee7a1c27d44c3a59 Mon Sep 17 00:00:00 2001 From: oliveredget <188809800+oliveredget@users.noreply.github.com> Date: Sat, 28 Dec 2024 11:59:11 +0800 Subject: [PATCH] Fix typo --- docs/codetour/lesson3-anatomy/coin.template.qnt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/codetour/lesson3-anatomy/coin.template.qnt b/docs/codetour/lesson3-anatomy/coin.template.qnt index 5fa122909..b75afe6a7 100644 --- a/docs/codetour/lesson3-anatomy/coin.template.qnt +++ b/docs/codetour/lesson3-anatomy/coin.template.qnt @@ -143,7 +143,7 @@ different kinds of "integers", when they are referred to via different type alia Declare pure functions -It often happens that a protocol requires auxilliary definitions that do not +It often happens that a protocol requires auxiliary definitions that do not depend on the protocol state, but only on the values of their parameters. Such computations are often called "pure". In the above code, we define two pure definitions: