:set -v0 -Wall
:set prompt "λ. "