at:tutorial:basic
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
| at:tutorial:basic [2007/07/05 11:44] – elisag | at:tutorial:basic [2007/07/06 11:20] – elisag | ||
|---|---|---|---|
| Line 403: | Line 403: | ||
| >>1 | >>1 | ||
| > def [i, j] := [1,3] | > def [i, j] := [1,3] | ||
| - | >>>[1, 3] | + | >>[1, 3] |
| >{i < j}.whileTrue: | >{i < j}.whileTrue: | ||
| 1 | 1 | ||
at/tutorial/basic.txt · Last modified: 2020/02/09 22:05 by elisag