Index of /archives/text/CTAN/web/spiderweb/src/dijkstra

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory - [TXT] sp.web 1988-11-07 09:00 695 [   ] make 1988-11-07 09:00 109 [TXT] d.spider 1993-04-04 09:00 4.2K [TXT] binary.web 1987-12-31 09:00 8.5K [TXT] README 1989-04-07 09:00 219
The spider file for Dijkstra's language of guarded commands isn't really
very good.  One problem is that it's hard to come up with ASCII representations
of the operators Dijkstra uses.  Suggestions will be appreciated.