Adjust automatic optimization section

This commit is contained in:
imaqtkatt 2024-03-12 11:58:23 -03:00
parent c7d0c78646
commit 16b5743d77

View File

@ -40,7 +40,7 @@ This code will work as expected, because `Nat.add` is unrolled lazily only when
### Automatic optimization
HVM-lang carries out [float-combinators](compiler-options#float-combinators) and [linearize-matches](compiler-options#linearize-matches) optimizations through the CLI, which is active by default in strict mode.
HVM-lang carries out [match linearization](compiler-options#linearize-matches) and [combinator floating](compiler-options#float-combinators) optimizations, enabled through the CLI, which is active by default in strict mode.
Consider the code below: