20170620
Information about propagators and propagator accessories
This document is not intended as an introduction to propagators. Rather it's a collection of resources. As a minimal introduction: a propagator is a monotone function between join-semilattices. We intend to build networks of cells which contain values drawn from join-semilattices, connected by propagators, which read from and write to some cells. These networks have very useful properties for concurrent and distributed programming, among many other things.
