| OCR Text |
Show 6 3 utm^-assert of set A ,go ut , utm*- set Ä 'SI ut , ait: asserf of scan ,§£ atoms , err 4 j ut: uex^-uex bup utm ^ pop 1 ./§£ ve , uex4- utm 1 ,go ve , ve: vex bop scan /go atoms j expr-«t-expr "*" vex A pop 1 ,go exp expr>*- vex A 'ä° exp exp; expr "#" scan 'S£ atoms stat-*- expr A '32. sta err 5 | sta: stat*-var ar stat A pop 1 'SB. sta staf-*- iabl stat A 'S° sta stat--<H frupart stat A fill /go sta sfat »f- gots stat A unop 'S£ sta stal- H~ iter stat A itr '32. sta if cU- if stat then mark , scan fgO atoms Iruparf -4-- ifcl stat else els , scan ,ga atoms iter -«H while stat do whl , scan ,go atoms body -«$- body stat II II com 2 , scan 'i£ empt body -<- body stat ii, ii cln2 , scan '32. empt list ■+- body stat end end , scan /9£ lis staf -4- body stat "lÄ" equot , scan 'S° sta sclr ■^- body stat "J esel , scan 'S£ sei , err6 ' lis: svar -4- svar list & [ ,90 sur svar •<»- list A 1 ,90 mbr sei: svar ^j- svar sein A 1 ,go svr r err7 | |
