Tutorial/slides.pdf
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Wed, 21 Dec 2011 15:47:42 +0900
changeset 3088 5e74bd87bcda
parent 2703 f3160f03fa23
permissions -rwxr-xr-x
SFT/LambdaTerms: rename 'var' to 'name' to match Lambda.

(binary:application/pdf)