Is anyone aware of something similar to pLam but implemented in Erlang?
It provides a REPL for λ-expressions evaluation, used as a tool for exploring the lambda calculus.
The pLam project is implemented in Haskell.