Add descriptive comment.
This commit is contained in:
parent
fe6e83f19e
commit
b979dd9d70
|
@ -1,6 +1,8 @@
|
||||||
#lang prospect
|
#lang prospect
|
||||||
;; After Figure 1 in "Logic and lattices for distributed programming",
|
;; After Figure 1 in "Logic and lattices for distributed programming",
|
||||||
;; Conway et. al, UCB tech report, 2012
|
;; Conway et. al, UCB tech report, 2012
|
||||||
|
;;
|
||||||
|
;; Added path-seen set to ensure termination on input cycles.
|
||||||
|
|
||||||
(require racket/set)
|
(require racket/set)
|
||||||
(require prospect/actor)
|
(require prospect/actor)
|
||||||
|
|
Loading…
Reference in New Issue