Skip to content
Permalink
Browse files

Synthesis is done in `Bots`, not `Functions`.

  • Loading branch information...
xkapastel committed Mar 8, 2019
1 parent dfed195 commit 162b1a446aed0e4cb207b2d5ce60e2dfa823bfc0
Showing with 4 additions and 5 deletions.
  1. +4 −5 README.md
@@ -27,11 +27,10 @@ you through further configuration and usage.
`magic-word.sln` is a .NET solution containing a number of projects:

### `MagicWord.Functions`
`MagicWord.Functions` implements evaluation and synthesis of the purely
functional bytecode, known as ABC, that powers the Magic Word
project. Its unique feature is its *rewriting* semantics, that allows
programs to be paused, migrated, and resumed at arbitrary points
during execution.
`MagicWord.Functions` provides evaluators for the purely functional
bytecode, known as ABC, that powers the Magic Word project. Its unique
feature is its *rewriting* semantics, that allows programs to be
paused, migrated, and resumed at arbitrary points during execution.

### `MagicWord.Bots`
The Magic Word project takes the view that programming language theory

0 comments on commit 162b1a4

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.