Files

 f98dcea

/

specs

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

leeyi45

Relocate svmc repl prompt

Mar 3, 2025

8fef11f · Mar 3, 2025

History

History

/

specs

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
.gitignore		.gitignore	cleanup done (#524)	Apr 11, 2020
Makefile		Makefile	Relocate svmc repl prompt	Mar 3, 2025
source_0.tex		source_0.tex	cleanup done (#524)	Apr 11, 2020
source_0_rules.tex		source_0_rules.tex	cleanup done (#524)	Apr 11, 2020
source_0_subst.tex		source_0_subst.tex	cleanup done (#524)	Apr 11, 2020
source_1.tex		source_1.tex	Documentation: streamline Source specs (#1648)	Apr 27, 2024
source_1_bnf.tex		source_1_bnf.tex	clarify binary logical compostion (not an operation) (#1186)	Dec 13, 2021
source_1_bnf_with_import_export.tex		source_1_bnf_with_import_export.tex	clarify binary logical compostion (not an operation) (#1186)	Dec 13, 2021
source_1_bnf_without_import.tex		source_1_bnf_without_import.tex	clarify binary logical compostion (not an operation) (#1186)	Dec 13, 2021
source_1_infinite_loop_detection.tex		source_1_infinite_loop_detection.tex	non- words corrected (#1007)	Jun 13, 2021
source_1_type_inference.tex		source_1_type_inference.tex	Implement Typescript-esque predicate tests (#1152)	Nov 8, 2021
source_1_typed.tex		source_1_typed.tex	Documentation: streamline Source specs (#1648)	Apr 27, 2024
source_1_typed_bnf.tex		source_1_typed_bnf.tex	Modify Source Typed specs (#1366)	Mar 2, 2023
source_1_typed_typing.tex		source_1_typed_typing.tex	Modify Source Typed specs (#1366)	Mar 2, 2023
source_1_wasm.tex		source_1_wasm.tex	Update Source §1 WebAssembly spec for Sourceror 0.7.0 (#729)	Aug 12, 2020
source_2.tex		source_2.tex	Documentation: streamline Source specs (#1648)	Apr 27, 2024
source_2_bnf.tex		source_2_bnf.tex	clarify binary logical compostion (not an operation) (#1186)	Dec 13, 2021
source_2_stepper.tex		source_2_stepper.tex	Import current stepper specs update draft (#1247)	Apr 22, 2022
source_2_stepper_rules.tex		source_2_stepper_rules.tex	ammend stepper doc to new spec (#1649)	Apr 8, 2024
source_2_stepper_style.tex		source_2_stepper_style.tex	Import current stepper specs update draft (#1247)	Apr 22, 2022
source_2_type_inference.tex		source_2_type_inference.tex	Implement Typescript-esque predicate tests (#1152)	Nov 8, 2021
source_2_typed.tex		source_2_typed.tex	Documentation: streamline Source specs (#1648)	Apr 27, 2024
source_2_typed_bnf.tex		source_2_typed_bnf.tex	Modify Source Typed specs (#1366)	Mar 2, 2023
source_2_typed_typing.tex		source_2_typed_typing.tex	Modify Source Typed specs (#1366)	Mar 2, 2023
source_3.tex		source_3.tex	Documentation: streamline Source specs (#1648)	Apr 27, 2024
source_3_bnf.tex		source_3_bnf.tex	parser upgrade (#1305)	Sep 30, 2022
source_3_bnf_without_import.tex		source_3_bnf_without_import.tex	clarify binary logical compostion (not an operation) (#1186)	Dec 13, 2021
source_3_type_inference.tex		source_3_type_inference.tex	Implement Typescript-esque predicate tests (#1152)	Nov 8, 2021
source_3_typed.tex		source_3_typed.tex	Documentation: streamline Source specs (#1648)	Apr 27, 2024
source_3_typed_bnf.tex		source_3_typed_bnf.tex	Modify Source Typed specs (#1366)	Mar 2, 2023
source_3_typed_typing.tex		source_3_typed_typing.tex	Modify Source Typed specs (#1366)	Mar 2, 2023
source_4.tex		source_4.tex	Documentation: streamline Source specs (#1648)	Apr 27, 2024
source_4_explicitcontrol.tex		source_4_explicitcontrol.tex	Documentation: streamline Source specs (#1648)	Apr 27, 2024
source_4_typed.tex		source_4_typed.tex	Documentation: streamline Source specs (#1648)	Apr 27, 2024
source_4_typed_typing.tex		source_4_typed_typing.tex	Modify Source Typed specs (#1366)	Mar 2, 2023
source_array_support.tex		source_array_support.tex	Documentation: streamline Source specs (#1648)	Apr 27, 2024
source_arrays.tex		source_arrays.tex	Documentation: fixes #1620 (#1647)	Apr 7, 2024
source_bnf.tex		source_bnf.tex	various fixes (#1065)	Jul 26, 2021
source_boolean_operators.tex		source_boolean_operators.tex	clarify binary logical compostion (not an operation) (#1186)	Dec 13, 2021
source_comments.tex		source_comments.tex	Update sicpjs links (#1017)	Jun 24, 2021
source_concurrent_vm.tex		source_concurrent_vm.tex	cleanup done (#524)	Apr 11, 2020
source_continuation.tex		source_continuation.tex	add documentation for Explicit-Control and Continuations (#1611)	Mar 28, 2024
source_export.tex		source_export.tex	Update Source §1 WebAssembly spec for Sourceror 0.7.0 (#729)	Aug 12, 2020
source_gpu_bnf.tex		source_gpu_bnf.tex	various fixes (#1065)	Jul 26, 2021
source_header.tex		source_header.tex	Documentation: Removes unnecessary enumitem package in stepper specs (#…	Mar 5, 2024
source_import.tex		source_import.tex	Update Source §1 WebAssembly spec for Sourceror 0.7.0 (#729)	Aug 12, 2020
source_import_syntax.tex		source_import_syntax.tex	Update Source §1 WebAssembly spec for Sourceror 0.7.0 (#729)	Aug 12, 2020
source_import_wasm.tex		source_import_wasm.tex	Update Source §1 WebAssembly spec for Sourceror 0.7.0 (#729)	Aug 12, 2020
source_interpreter.tex		source_interpreter.tex	Update documentation of __PROGRAM__ name (#1379)	Mar 28, 2023
source_intro.tex		source_intro.tex	Update sicpjs links (#1017)	Jun 24, 2021
source_js_differences.tex		source_js_differences.tex	Update sicpjs links (#1017)	Jun 24, 2021
source_list_library.tex		source_list_library.tex	small fixes (#525)	Apr 11, 2020
source_lists.tex		source_lists.tex	fixing unicode errors in build (#1700)	Apr 29, 2024
source_loops.tex		source_loops.tex	Update sicpjs links (#1017)	Jun 24, 2021
source_math.tex		source_math.tex	Documentation: argument and return types of math functions (#1629)	Apr 1, 2024
source_misc.tex		source_misc.tex	Update sicpjs links (#1017)	Jun 24, 2021
source_names_lang.tex		source_names_lang.tex	Specs: reserved words of ECMAScript 2020 strict mode, in alphabetical…	May 12, 2021
source_names_week_1.tex		source_names_week_1.tex	cleanup done (#524)	Apr 11, 2020
source_numbers.tex		source_numbers.tex	Update sicpjs links (#1017)	Jun 24, 2021
source_object_support.tex		source_object_support.tex	cleanup done (#524)	Apr 11, 2020
source_objects.tex		source_objects.tex	cleanup done (#524)	Apr 11, 2020
source_overloading.tex		source_overloading.tex	non- words corrected (#1007)	Jun 13, 2021
source_pair_mutators.tex		source_pair_mutators.tex	cleanup done (#524)	Apr 11, 2020
source_parse_tree_types.tex		source_parse_tree_types.tex	Add parse tree types to Source 4 Typed (#1360)	Feb 22, 2023
source_python_1.tex		source_python_1.tex	Re-enable resolver for Python (#1671)	Apr 14, 2024
source_python_1_bnf.tex		source_python_1_bnf.tex	Add specifications of Python §1 to docs/specs (#1667)	Apr 11, 2024
source_python_bnf.tex		source_python_bnf.tex	Add specifications of Python §1 to docs/specs (#1667)	Apr 11, 2024
source_python_boolean_operators.tex		source_python_boolean_operators.tex	Add specifications of Python §1 to docs/specs (#1667)	Apr 11, 2024
source_python_comments.tex		source_python_comments.tex	Add specifications of Python §1 to docs/specs (#1667)	Apr 11, 2024
source_python_header.tex		source_python_header.tex	Remove usepackage{enumitem} (#1668)	Apr 12, 2024
source_python_import.tex		source_python_import.tex	Add specifications of Python §1 to docs/specs (#1667)	Apr 11, 2024
source_python_integers.tex		source_python_integers.tex	Add specifications of Python §1 to docs/specs (#1667)	Apr 11, 2024
source_python_intro.tex		source_python_intro.tex	Add specifications of Python §1 to docs/specs (#1667)	Apr 11, 2024
source_python_math.tex		source_python_math.tex	Add Math constants to Python (#1677)	Apr 16, 2024
source_python_misc.tex		source_python_misc.tex	Add Math constants to Python (#1677)	Apr 16, 2024
source_python_names_lang.tex		source_python_names_lang.tex	Add specifications of Python §1 to docs/specs (#1667)	Apr 11, 2024
source_python_numbers.tex		source_python_numbers.tex	Add specifications of Python §1 to docs/specs (#1667)	Apr 11, 2024
source_python_return.tex		source_python_return.tex	Add specifications of Python §1 to docs/specs (#1667)	Apr 11, 2024
source_python_strings.tex		source_python_strings.tex	Add specifications of Python §1 to docs/specs (#1667)	Apr 11, 2024
source_python_typing.tex		source_python_typing.tex	Add specifications of Python §1 to docs/specs (#1667)	Apr 11, 2024
source_return.tex		source_return.tex	Update sicpjs links (#1017)	Jun 24, 2021
source_standard.tex		source_standard.tex	Documentation: streamline Source specs (#1648)	Apr 27, 2024
source_stream_library.tex		source_stream_library.tex	small fixes (#525)	Apr 11, 2020
source_streams.tex		source_streams.tex	Library cleanup (#1614)	Mar 28, 2024
source_strings.tex		source_strings.tex	Update sicpjs links (#1017)	Jun 24, 2021
source_studio_2.tex		source_studio_2.tex	studio 2 cheat sheet (#1096)	Aug 12, 2021
source_studio_2_bnf.tex		source_studio_2_bnf.tex	clarify binary logical compostion (not an operation) (#1186)	Dec 13, 2021
source_studio_2_js_differences.tex		source_studio_2_js_differences.tex	Update sicpjs links (#1017)	Jun 24, 2021
source_studio_2_misc.tex		source_studio_2_misc.tex	Update sicpjs links (#1017)	Jun 24, 2021
source_studio_2_return.tex		source_studio_2_return.tex	studio_2 doc updated (#735)	Aug 13, 2020
source_studio_2_typing.tex		source_studio_2_typing.tex	studio_2 doc updated (#735)	Aug 13, 2020
source_styleguide.tex		source_styleguide.tex	style guide fixed (#1483)	Sep 9, 2023
source_typing.tex		source_typing.tex	Update sicpjs links (#1017)	Jun 24, 2021
source_typing_3.tex		source_typing_3.tex	Better docs (#685)	Jul 23, 2020
View all files