Remove non-det

Author: leeyi45

scripts/autocomplete.sh

@@ -108,7 +108,6 @@ targets = [
     "source_2_lazy",
     "source_3",
     "source_3_concurrent",
-    "source_3_non-det",
     "source_4", 
     "source_4_explicit-control"
     "External libraries",

scripts/updateAutocompleteDocs.js

@@ -18,7 +18,6 @@ const TARGETS = [
   "source_2_typed",
   "source_3",
   "source_3_concurrent",
-  "source_3_non-det",
   "source_3_typed",
   "source_4",
   "source_4_typed",