source-academy · leeyi45 · Oct 9, 2024 · Oct 9, 2024 · Oct 11, 2024 · Oct 11, 2024
diff --git a/.eslintignore b/.eslintignore
diff --git a/.eslintrc.json b/.eslintrc.json
diff --git a/.gitignore b/.gitignore
@@ -1,5 +1,6 @@
 node_modules
 *.js
+!eslint.config.js
 !docs/jsdoc/templates/**/*.js
 !docs/lib/**/*.js
 *.map

diff --git a/docs/lib/non-det.js b/docs/lib/non-det.js
diff --git a/docs/md/README_3_NON-DET.md b/docs/md/README_3_NON-DET.md
diff --git a/docs/md/README_NON-DET.md b/docs/md/README_NON-DET.md
diff --git a/docs/md/README_top.md b/docs/md/README_top.md
@@ -70,8 +70,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>

diff --git a/docs/specs/Makefile b/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_%)
 

diff --git a/docs/specs/source_3_nondet.tex b/docs/specs/source_3_nondet.tex