Name Last modified Size Description
Parent Directory - make 1988-11-07 09:00 109 README 1989-04-07 09:00 219 sp.web 1988-11-07 09:00 695 d.spider 1993-04-04 09:00 4.2K binary.web 1987-12-31 09:00 8.5K
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.