Fix minor typo (stratgies -> strategies)

This commit is contained in:
lazytype 2016-03-22 00:31:20 -07:00
parent 824a0378a7
commit 60573426f6

View File

@ -14,7 +14,7 @@ Evaluation
While the lambda calculus is exceedingly simple, there is a great deal of
variety in ways to evaluate and implement the reduction of lambda expressions.
The different models for evaluation are *evaluation stratgies*.
The different models for evaluation are *evaluation strategies*.
There is a bifurcation between two points in the design space: *strict* and
*non-strict* evaluation. An evaluation strategy is strict if the arguments to a