A lambda interpreter with beta reduction and pretty printing using De Bruijn indices.