smalltalk-tng
view doc/hll.lyx @ 323:454c18798969
merger
| author | Tony Garnock-Jones <tonygarnockjones@gmail.com> |
|---|---|
| date | Tue Feb 07 11:34:20 2012 -0500 (3 months ago) |
| parents | |
| children |
line source
1 #LyX 1.3 created this file. For more info see http://www.lyx.org/
2 \lyxformat 221
3 \textclass article
4 \language english
5 \inputencoding auto
6 \fontscheme default
7 \graphics default
8 \paperfontsize default
9 \papersize Default
10 \paperpackage a4
11 \use_geometry 0
12 \use_amsmath 0
13 \use_natbib 0
14 \use_numerical_citations 0
15 \paperorientation portrait
16 \secnumdepth 3
17 \tocdepth 3
18 \paragraph_separation indent
19 \defskip medskip
20 \quotes_language english
21 \quotes_times 2
22 \papercolumns 1
23 \papersides 1
24 \paperpagestyle default
26 \layout Title
28 The ThiNG High-Level Language
29 \layout Author
31 Tony Garnock-Jones <tonyg@kcbbs.gen.nz>
32 \layout Date
34 18 November, 2004
35 \layout Standard
38 \begin_inset Float figure
39 wide false
40 collapsed false
42 \layout Standard
45 \begin_inset Formula \begin{eqnarray*}
46 \textrm{exp} & \leftarrow & \textrm{(lambda var exp)}\\
47 & & \textrm{(exp exp)}\\
48 & & \textrm{(if exp exp exp)}\\
49 & & \textrm{var}\\
50 & & \textrm{(set! var exp)}\end{eqnarray*}
52 \end_inset
55 \layout Caption
57 Core Scheme
58 \end_inset
61 \begin_inset Float figure
62 wide false
63 collapsed false
65 \layout Standard
68 \begin_inset Formula \begin{eqnarray*}
69 \textrm{exp} & \leftarrow & \textrm{(selector exp exp ...)}\\
70 & & \textrm{[ :var | exp ... ]}\\
71 \\\\\end{eqnarray*}
73 \end_inset
76 \layout Caption
78 Core ThiNG
79 \end_inset
82 \the_end