Skip to content
Snippets Groups Projects
Select Git revision
0 results
Blame Permalink
  • 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