CSCI 3155: Lab Assignment 5

def rename(env: Map[String, String], e: Expr): (Int => (Int, Expr)) The rename function is thus conceptually a curried function that takes as input first env and e, which returns a function that takes an integer i to return a integer-expression pair (i0,e0). The integer state captures the next available variable number. ................
................