Update file purpose statement
This commit is contained in:
parent
07785e9232
commit
79ea380afc
|
@ -1,6 +1,6 @@
|
||||||
#lang prospect
|
#lang prospect
|
||||||
;; Toy file system, based on the example in the ESOP2016 submission.
|
;; Toy file system, based on the example in the ESOP2016 submission.
|
||||||
;; prospect/actor implementation.
|
;; prospect/actor implementation, using "during" instead of "on asserted/until retracted".
|
||||||
|
|
||||||
(require prospect/actor)
|
(require prospect/actor)
|
||||||
(require prospect/drivers/timer)
|
(require prospect/drivers/timer)
|
||||||
|
|
Loading…
Reference in New Issue