Elixir lambda calculi tools