Mercurial > hg > Applications > Lite
view tk/gi1.lite @ 2:1c57a78f1d98
Initial revision
author | kono |
---|---|
date | Thu, 18 Jan 2001 23:27:24 +0900 |
parents | |
children |
line wrap: on
line source
% % specification for simple graphics interaction % specification(( +(( (stop-> keep(red)), (start-> (length(4),keep(green) ) & keep(red)), next(halt((start;stop;quit))) )), []((red,not(green);not(red),green)), []((green->move)), []((red->not(move))), halt(quit) )). st_variables([stop,start,quit],[red,green,move]).