Being a language to combine functional programming (the λ calculus) with concurrency (the π calculus). Yes, Erlang does this, too; but I want λπ to be more Lisp-like, and to reach down low enough that I can write an OS in it.