From c6acb94921cbb1d170296f19517205b8a27e8e3b Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Mon, 4 Oct 2021 09:05:50 +0300 Subject: [PATCH] Fix type in docs --- docs/sophia_features.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/sophia_features.md b/docs/sophia_features.md index 266626d..53468e1 100644 --- a/docs/sophia_features.md +++ b/docs/sophia_features.md @@ -485,7 +485,7 @@ function g(p : int * option(int)) : int = ``` Guards are boolean expressions that can be used on patterns in both switch -statements and functions definitions. If a guard expression evalutaes to +statements and functions definitions. If a guard expression evaluates to `true`, then the corresponding body will be used. Otherwise, the next pattern will be checked: