Actions You Can Handle: Dependent Types for AI Plans

Open in new window