commit 84214dbef6a2c8c2cebdfe27bc6af66f5f78738f
parent 42bbd5240aabf007bef0c0e828a5802ec561279a
Author: Yuval Langer <yuvallangerontheroad@gmail.com>
Date: Sat, 27 Jan 2024 16:29:39 +0200
Add contents.
Diffstat:
1 file changed, 252 insertions(+), 2 deletions(-)
diff --git a/doc/r7rs-small/r7rs-small.texinfo b/doc/r7rs-small/r7rs-small.texinfo
@@ -74,6 +74,256 @@ The report concludes with a list of references and an alphabetic index.
R5RS and R6RS. There is no intended implication that those editors, individually or
collectively, support or do not support this report.
-[Go to first, previous, next page; contents; index]
-Last modified: Mon, Dec 19, 2022, 12:53 pm UTC+0
+@node Introduction
+@chapter Introduction
+
+@node Overview of Scheme
+@chapter Overview of Scheme
+
+@node Semantics
+@section Semantics
+
+@node Syntax
+@section Syntax
+
+@node Notation and terminology
+@section Notation and terminology
+
+@node Base and optional features
+@subsection Base and optional features
+
+@node Error situations and unspecified behavior
+@subsection Error situations and unspecified behavior
+
+@node Entry format
+@subsection Entry format
+
+@node Evaluation examples
+@subsection Evaluation examples
+
+@node Naming conventions
+@subsection Naming conventions
+
+@node Lexical conventions
+@chapter Lexical conventions
+
+@node Identifiers
+@section Identifiers
+
+@node Whitespace and comments
+@section Whitespace and comments
+
+@node Other notations
+@section Other notations
+
+@node Datum labels
+@section Datum labels
+
+@node Basic concepts
+@chapter Basic concepts
+
+@node Variables, syntactic keywords, and regions
+@section Variables, syntactic keywords, and regions
+
+@node Disjointness of types
+@section Disjointness of types
+
+@node External representations
+@section External representations
+
+@node Storage model
+@section Storage model
+
+@node Proper tail recursion
+@section Proper tail recursion
+
+@node Expressions
+@chapter Expressions
+
+@node Primitive expression types
+@section Primitive expression types
+
+@node Variable references
+@subsection Variable references
+
+@node Literal expressions
+@subsection Literal expressions
+
+@node Procedure calls
+@subsection Procedure calls
+
+@node Procedures
+@subsection Procedures
+
+@node Conditionals
+@subsection Conditionals
+
+@node Assignments
+@subsection Assignments
+
+@node Inclusion
+@subsection Inclusion
+
+
+
+
+
+@node Derived expression types
+@section Derived expression types
+@node Conditionals
+@subsection Conditionals
+@node Binding constructs
+@subsection Binding constructs
+@node Sequencing
+@subsection Sequencing
+@node Iteration
+@subsection Iteration
+@node Delayed evaluation
+@subsection Delayed evaluation
+@node Dynamic bindings
+@subsection Dynamic bindings
+@node Exception handling
+@subsection Exception handling
+@node Quasiquotation
+@subsection Quasiquotation
+@node Case-lambda
+@subsection Case-lambda
+@node Macros
+@section Macros
+@node Binding constructs for syntactic keywords
+@subsection Binding constructs for syntactic keywords
+@node Pattern language
+@subsection Pattern language
+@node Signaling errors in macro transformers
+@subsection Signaling errors in macro transformers
+
+@node Program structure
+@chapter Program structure
+@node Programs
+@section Programs
+@node Import declarations
+@section Import declarations
+@node Variable definitions
+@section Variable definitions
+@node Top level definitions
+@subsection Top level definitions
+@node Internal definitions
+@subsection Internal definitions
+@node Multiple-value definitions
+@subsection Multiple-value definitions
+@node Syntax definitions
+@section Syntax definitions
+@node Record-type definitions
+@section Record-type definitions
+@node Libraries
+@section Libraries
+@node Library Syntax
+@subsection Library Syntax
+@node Library example
+@subsection Library example
+@node The REPL
+@section The REPL
+
+@node Standard procedures
+@chapter Standard procedures
+@node Equivalence predicates
+@section Equivalence predicates
+@node Numbers
+@section Numbers
+@node Numerical types
+@subsection Numerical types
+@node Exactness
+@subsection Exactness
+@node Implementation restrictions
+@subsection Implementation restrictions
+@node Implementation extensions
+@subsection Implementation extensions
+@node Syntax of numerical constants
+@subsection Syntax of numerical constants
+@node Numerical operations
+@subsection Numerical operations
+@node Numerical input and output
+@subsection Numerical input and output
+@node Booleans
+@section Booleans
+@node Pairs and lists
+@section Pairs and lists
+@node Symbols
+@section Symbols
+@node Characters
+@section Characters
+@node Strings
+@section Strings
+@node Vectors
+@section Vectors
+@node Bytevectors
+@section Bytevectors
+@node Control features
+@section Control features
+@node Exceptions
+@section Exceptions
+@node Environments and evaluation
+@section Environments and evaluation
+@node Input and output
+@section Input and output
+@node Ports
+@subsection Ports
+@node Input
+@subsection Input
+@node Output
+@subsection Output
+@node System interface
+@section System interface
+
+@node Formal syntax and semantics
+@chapter Formal syntax and semantics
+@node Formal syntax
+@section Formal syntax
+@node Lexical structure
+@subsection Lexical structure
+@node External representations
+@subsection External representations
+@node Expressions
+@subsection Expressions
+@node Quasiquotations
+@subsection Quasiquotations
+@node Transformers
+@subsection Transformers
+@node Programs and definitions
+@subsection Programs and definitions
+@node Libraries
+@subsection Libraries
+@node Formal semantics
+@section Formal semantics
+@node Abstract syntax
+@subsection Abstract syntax
+@node Domain equations
+@subsection Domain equations
+@node Semantic functions
+@subsection Semantic functions
+@node Auxiliary functions
+@subsection Auxiliary functions
+@node Derived expression types
+@section Derived expression types
+
+@node A Standard Libraries
+@chapter A Standard Libraries
+
+@node B Standard Feature Identifiers
+@chapter B Standard Feature Identifiers
+
+
+@node Language changes
+@chapter Language changes
+
+@node Additional material
+@chapter Additional material
+
+@node Example
+@chapter Example
+
+@node References
+@chapter References
+
+@c Alphabetic index of definitions of concepts, keywords, and procedures
