Source

lambda-translator / gen_scheme.ml

Full commit
1
2
3
4
5
6
open Term

let rec gen = function
  | Var v -> v
  | Abs (v, t) -> "(lambda (" ^ v ^ ") " ^ gen t ^ ")"
  | App (t1, t2) -> "(" ^ gen t1 ^ " " ^ gen t2 ^ ")"