diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -23,9 +23,15 @@ Valid myslip s-expressions may be atoms of different types or lists of them, though not all syntactically valid myslip expressions are ones that can be evaluated. +The following is s-expressions explained intuitively in +something that looks a bit like a BNF: +``` S-expression := Atom | List -Atom := TODO +Atom := Operator | Value | Variable ... List := (S-expression ... S-expression) +``` +Don't take it to be exact. For example lists are actually +implemented as linked lists. The myslip interpreter performs type checking on s-expressions and evaluates them according to polish @@ -65,7 +71,9 @@ $ myslip Exit the REPL by pressing CTRL+C, CTRL+D or entering "exit". For a quick reference on how to use the `myslip` command, -see `myslip --help`. +see `myslip --help`. It also contains additional features +which are omitted here as they are not relevant for +grading. Running `myslip filename.slip` tries to read a file named `filename.slip` as an s-expression and evaluates it. |