From 1768a70377b09c625b2e32dc27a7220c1d04c673 Mon Sep 17 00:00:00 2001 From: 0xflotus <0xflotus@gmail.com> Date: Sun, 2 Jun 2019 00:14:14 +0200 Subject: [PATCH] Update program-analysis.md --- docs/program-analysis.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/program-analysis.md b/docs/program-analysis.md index 7eddfba6f..a30e4e6ed 100644 --- a/docs/program-analysis.md +++ b/docs/program-analysis.md @@ -21,7 +21,7 @@ The [`Evaluatable`](https://github.com/github/semantic/blob/master/src/Data/Abst We have yet to finish implementing `Evaluatable` instances for the various à la carte syntaxes. Doing so requires knowledge of the type and value evaluation semantics of a particular syntax and familiarity with the functions for interacting with the environment and store. -#### Implemeneting `Evaluatable` instances +#### Implementing `Evaluatable` instances The following is a brief guide to working with the definitional interpreters and implementing instances of `Evaluatable` for the various pieces of syntax. `Semantil.Util` defines a series of language-specific wrapper functions for working in ghci to do evaluation. _Helpers:_