diff options
author | Arun Isaac | 2024-10-02 01:07:28 +0100 |
---|---|---|
committer | Arun Isaac | 2024-10-02 02:08:58 +0100 |
commit | 0e5de7766173a2812183c5c26759c1c27e8d8e40 (patch) | |
tree | 69e11d827936e158b9da42f03238fe6cb1845a3b /Makefile | |
parent | 707774f68f11f82cf2756bae406938b380c35d8b (diff) | |
download | ravanan-0e5de7766173a2812183c5c26759c1c27e8d8e40.tar.gz ravanan-0e5de7766173a2812183c5c26759c1c27e8d8e40.tar.lz ravanan-0e5de7766173a2812183c5c26759c1c27e8d8e40.zip |
propnet: Explain in detail why we never cancel running propagators.
* ravanan/propnet.scm (poll-propnet): Add detailed comment elaborating
on why we never cancel or forget about running propagators.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions