let's -> lets in tuto_expli_lang

Villetaneuse · Villetaneuse · commit aeb2f8cdb07c · 2025-06-19T11:19:41.000+02:00
diff --git a/examples/tutorial_elpi_lang.v b/examples/tutorial_elpi_lang.v
@@ -1094,7 +1094,7 @@ Elpi Query lp:{{ coq.say "result =" {calc (2 + 3)} }}.
 Allocation of variables
 -----------------------
 
-The language let's one use λ-abstraction also to write anonymous rules
+The language lets one use λ-abstraction also to write anonymous rules
 but one has to be wary of where variables are bound (allocated really).
 
 In our example we use the higher order predicate :stdlib:`std.map`:
