A port of lambda-calculator to JavaScript