From dc4a868ee4fe895738d021e01f450d4d24440f06 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Thu, 21 Dec 2017 11:30:52 -0500
Subject: [PATCH] Clarify the :memo: for eval.

---
 src/Data/Abstract/Eval.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Data/Abstract/Eval.hs b/src/Data/Abstract/Eval.hs
index c73380a66..67d3dea27 100644
--- a/src/Data/Abstract/Eval.hs
+++ b/src/Data/Abstract/Eval.hs
@@ -18,7 +18,7 @@ import Data.Union
 import Prelude hiding (fail)
 
 
--- | The 'Eval' class defines the necessary interface for a term to be evaluated. Instances must impement `eval`
+-- | The 'Eval' class defines the necessary interface for a term to be evaluated. Instances with computational content must implement 'eval' to perform their small-step operational semantics.
 class Monad m => Eval term v m constr where
   -- | Evaluate a term.
   eval :: ((v -> m v) -> term -> m v) -> ((v -> m v) -> constr term -> m v)