(library
 (name lambdaCalc)
 (modules exp lambda encoding pp))
