33: Brain Candy: LADL

Published: June 27, 2019, midnight

This RCast begins with a discussion of TLA (Temporal Logic of Actions), but most of the conversation focuses on LADL.