Mercurial > hg > Applications > Lite
view tk/gi3.lite @ 22:29cf617f49db default tip
newer CVS version
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 22 Apr 2016 16:47:13 +0900 |
parents | 1c57a78f1d98 |
children |
line wrap: on
line source
% % specification for simple graphics interaction % specification(( +(( keep((red,not(start))); ((start,[](green),length(3)) & next(keep((red,not(stop),not(start))))) )), []((red,not(green);not(red),green)), []((green->move)), []((red->not(move))), halt(quit) )). st_variables([stop,start,quit],[red,green,move]).