-
hondet authored
nth projections rewrite to car and cdr. theory "real_defs" wouldn't typecheck because (nth 1 x) would not reduce when x is a variable, and thus no subtyping could be performed (subtyping uses car and cdr
hondet authorednth projections rewrite to car and cdr. theory "real_defs" wouldn't typecheck because (nth 1 x) would not reduce when x is a variable, and thus no subtyping could be performed (subtyping uses car and cdr