Programs in List Notation
WIDE supports editing, compilation and debugging capabilities of programs in list notation.
The list notation corresponds closely to the concrete
syntax described in the textbooks, and is detailed in the following
table.
Program:
( (var i) C (var j) )
Commands C, D:
(; C D)
(while E C)
(:= (var i)
E)
(if E C D)
Expressions E, F:
(var i)
(quote d)
(cons E F)
(hd E)
(tl E)
Remark: i, j stand for numerals, which can be typed in
decimal, but are always represented in unary (the form niln).