Remove Non-Det Interpreter

.gitignore

@@ -1,7 +1,11 @@
 node_modules
 *.js
+
+# docs
 !docs/jsdoc/templates/**/*.js
 !docs/lib/**/*.js
+docs/source
+
 *.map
 dist/
 .idea/

README.md

@@ -4,17 +4,19 @@ Open-source implementations of the programming language _Source_. Source is a se
 
 ## Table of Contents
 
-- [Prerequisites](#prerequisites)
-- [Usage](#usage)
-- [Documentation](#documentation)
-- [Requirements](#requirements)
-- [Testing](#testing)
-- [Error messages](#error-messages)
-- [Using your js-slang in Source Academy](#using-your-js-slang-in-source-academy)
-- [Using your js-slang in your local Source Academy](#using-your-js-slang-in-your-local-source-academy)
-- [Building and publishing SICP package](#building-and-publishing-sicp-package)
-- [Talks and Presentations](#talks-and-presentations)
-- [License](#license)
+- [js-slang](#js-slang)
+  - [Table of Contents](#table-of-contents)
+  - [Prerequisites](#prerequisites)
+  - [Usage](#usage)
+  - [Documentation](#documentation)
+    - [Requirements](#requirements)
+  - [Testing](#testing)
+  - [Error messages](#error-messages)
+  - [Using your js-slang in Source Academy](#using-your-js-slang-in-source-academy)
+  - [Using your js-slang in your local Source Academy](#using-your-js-slang-in-your-local-source-academy)
+  - [Building and publishing SICP package](#building-and-publishing-sicp-package)
+  - [Talks and Presentations](#talks-and-presentations)
+  - [License](#license)
 
 ## Prerequisites
 
@@ -62,7 +64,7 @@ You can set additional options:
 Usage: js-slang [PROGRAM_STRING] [OPTION]
 
   -c, --chapter=CHAPTER set the Source chapter number (i.e., 1-4)                                                              (default: 1)
-  -v, --variant=VARIANT set the Source variant (i.e., default, interpreter, substituter, typed, lazy, non-det, concurrent, wasm, gpu) (default: default)
+  -v, --variant=VARIANT set the Source variant (i.e., default, interpreter, substituter, typed, lazy, concurrent, wasm, gpu) (default: default)
   -h, --help            display this help
   -e, --eval            don't show REPL, only display output of evaluation
 ```
@@ -82,7 +84,6 @@ Currently, valid CHAPTER/VARIANT combinations are:
 - `--chapter=2 --variant=typed`
 - `--chapter=3 --variant=default`
 - `--chapter=3 --variant=concurrent`
-- `--chapter=3 --variant=non-det`
 - `--chapter=3 --variant=interpreter`
 - `--chapter=3 --variant=typed`
 - `--chapter=4 --variant=default`

docs/md/README_top.md

@@ -35,8 +35,6 @@ the members of our learning community.
 
 #### <a href="source_2_typed/">Source §2 Typed</a>
 
-#### <a href="source_3_non-det/">Source §3 Non-Det</a>
-
 #### <a href="source_3_concurrent/">Source §3 Concurrent</a>
 
 #### <a href="source_3_typed/">Source §3 Typed</a>
@@ -70,8 +68,6 @@ the Source Academy.
 
 #### <a href="source_2_typed.pdf">Specification of Source §2 Typed</a>
 
-#### <a href="source_3_nondet.pdf">Specification of Source §3 Non-Det</a>
-
 #### <a href="source_3_concurrent.pdf">Specification of Source §3 Concurrent</a>
 
 #### <a href="source_3_typed.pdf">Specification of Source §3 Typed</a>

docs/specs/Makefile

@@ -1,6 +1,6 @@
 PDFLATEX = latexmk -pdf
 
-SPECSNUMS = 1 1_lazy 1_wasm 1_type_inference 1_infinite_loop_detection 1_typed 2 2_lazy 2_typed 3_type_inference 3 3_nondet 3_concurrent 3_typed 4 4_explicitcontrol 4_gpu 4_typed styleguide 2_stepper studio_2 python_1
+SPECSNUMS = 1 1_lazy 1_wasm 1_type_inference 1_infinite_loop_detection 1_typed 2 2_lazy 2_typed 3_type_inference 3 3_concurrent 3_typed 4 4_explicitcontrol 4_gpu 4_typed styleguide 2_stepper studio_2 python_1
 
 SPECS = $(SPECSNUMS:%=source_%)