krivine-extended An implementation of extended Krivine machine for call-by-name evaluation of lambda-terms.