phipsgabler/LambdaCalculus.jl not found