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

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[TXT] README                                 1989-04-07 09:00  219   
[TXT] binary.web                             1987-12-31 09:00  8.5K  
[TXT] d.spider                               1993-04-04 09:00  4.2K  
[   ] make                                   1988-11-07 09:00  109   
[TXT] sp.web                                 1988-11-07 09:00  695   

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.