Skip to content
Snippets Groups Projects
  • hondet's avatar
    dc990a0f
    Fixed telescopes · dc990a0f
    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
    dc990a0f
    History
    Fixed telescopes
    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