4 Commits

Author	SHA1	Message	Date
Oskar Thoren	e330951d0c	Import from vac/pm; also tla+ leftover	2020-03-24 19:06:27 +08:00
Oskar Thoren	4cd048a03e	gossip no propagation fails	2020-03-24 19:05:05 +08:00
Oskar Thoren	096ee180e7	hello world post pcal calc	2020-03-24 19:05:05 +08:00
Oskar Thoren	2c48c38e12	hello world pcal	2020-03-24 19:05:04 +08:00