From 60573426f6d046b2b4273371869d4afd1cc59d0c Mon Sep 17 00:00:00 2001 From: lazytype Date: Tue, 22 Mar 2016 00:31:20 -0700 Subject: [PATCH] Fix minor typo (stratgies -> strategies) --- 005_evaluation.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/005_evaluation.md b/005_evaluation.md index ef61187..2b97427 100644 --- a/005_evaluation.md +++ b/005_evaluation.md @@ -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