A smiple, experimental and powerful, at least I hope so :) , lambda calculus implementation.