github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-02 12:23:08 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #1 from 0xflotus/patch-1

Browse Source 
Update program-analysis.md
This commit is contained in:
0xflotus 2019-06-02 00:14:27 +02:00 committed by GitHub
commit dcde1fbbaf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/program-analysis.md
View File

@ -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:_