-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
128 lines (80 loc) · 4 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>Source</title>
<link rel="shortcut icon"
type="image/x-icon"
href="/images/sourcepower.ico" />
<script src="scripts/prettify/prettify.js"> </script>
<script src="scripts/prettify/lang-css.js"> </script>
<!--[if lt IE 9]>
<script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
<![endif]-->
<link type="text/css" rel="stylesheet" href="styles/prettify-tomorrow.css">
<link type="text/css" rel="stylesheet" href="styles/jsdoc-default.css">
</head>
<body>
<div id="main">
<h1 class="page-title">Source</h1>
<!-- changed by MH on 1/7/2019 from default template. See "MH" below -->
<!-- changed by MH on 3/6/2021 from default template. See "MH" below -->
<h3> </h3>
<section>
<article><p>Source is a family of languages, designed for the textbook
<a href="https://sourceacademy.org/sicpjs">Structure and Interpretation
of Computer Programs, JavaScript Adaptation</a> (SICP JS) and supported by the
<a href="https://sourceacademy.org">Source Academy</a> system. The languages are
called Source §1, Source §2, Source §3 and Source §4, corresponding to the
respective chapters 1, 2, 3 and 4 of the textbook. Each previous Source
language is a sublanguage of the next, and all Source languages are
sublanguages of JavaScript. (Chapter 5 does not require any features beyond
Source §4.) This webpage contains the description of the Source languages
and the libraries they come with.</p>
<h2><a href="source_1/">Source §1</a></h2>
<h2><a href="source_2/">Source §2</a></h2>
<h2><a href="source_3/">Source §3</a></h2>
<h2><a href="source_4/">Source §4</a></h2>
<h3>Style guide</h3>
<p>The <a href="source_styleguide.pdf">Source Style Guide</a> gives general
recommendations on how to write your programs so that they are readable by
the members of our learning community.</p>
<h3>Language variants</h3>
<h4><a href="source_1_wasm/">Source §1 WebAssembly</a></h4>
<h4><a href="source_1_typed/">Source §1 Typed</a></h4>
<h4><a href="source_2_typed/">Source §2 Typed</a></h4>
<h4><a href="source_3_concurrent/">Source §3 Concurrent</a></h4>
<h4><a href="source_3_typed/">Source §3 Typed</a></h4>
<h4><a href="source_4_typed/">Source §4 Typed</a></h4>
<h4><a href="source_4_explicit-control/">Source §4 Explicit-Control</a></h4>
<h3>Specifications</h3>
<p>The following technical documents specify the languages and components of
the Source Academy.</p>
<h4><a href="source_1.pdf">Specification of Source §1</a></h4>
<h4><a href="source_2.pdf">Specification of Source §2</a></h4>
<h4><a href="source_3.pdf">Specification of Source §3</a></h4>
<h4><a href="source_4.pdf">Specification of Source §4</a></h4>
<h4><a href="source_1_wasm.pdf">Specification of Source §1 WebAssembly</a></h4>
<h4><a href="source_1_typed.pdf">Specification of Source §1 Typed</a></h4>
<h4><a href="source_2_typed.pdf">Specification of Source §2 Typed</a></h4>
<h4><a href="source_3_concurrent.pdf">Specification of Source §3 Concurrent</a></h4>
<h4><a href="source_3_typed.pdf">Specification of Source §3 Typed</a></h4>
<h4><a href="source_4_typed.pdf">Specification of Source §4 Typed</a></h4>
<h4><a href="source_4_explicitcontrol.pdf">Specification of Source §4 Explicit-Control</a></h4>
<h4><a href="source_1_infinite_loop_detection.pdf">Specification of Source §1 Infinite Loop Detection</a></h4>
<h4><a href="source_2_stepper.pdf">Specification of Source §2 Stepper</a></h4>
<h4><a href="source_3_type_inference.pdf">Specification of Source §3 Type Inference</a></h4></article>
</section>
</div>
<nav>
</nav>
<br class="clear">
<footer>
generated by <a href="https://github.com/jsdoc/jsdoc">JSDoc 3.6.11</a> from
<a href="https://github.com/source-academy/js-slang">Github repository js-slang</a>
on Thu Mar 20 2025 08:47:51 GMT+0000 (Coordinated Universal Time)
</footer>
<script> prettyPrint(); </script>
<script src="scripts/linenumber.js"> </script>
</body>
</html>