lambda-amdp Testing lambda-calculus compositional proposition functions with (A)MDP planning. Requires BURLAP 3.0.1, JScheme, and the AMDP planning library at github.com/h2r/amdp.