TIE241 Sample Lambda Calculator

This is a very simple lambda calculator. Given a lambda expression as input, it will print out each beta reduction step until a normal form is reached. more…

tie241-sample-lambda-calculator

Clone & push urls

Activities Feed