minor on spec
minor on spec

jsalvatier/webppl-agents,agentmodels/webppl-gridworld,jsalvatier/webppl-agents,agentmodels/webppl-gridworld,jsalvatier/webppl-agents,agentmodels/webppl-gridworld,agentmodels/webppl-agents