-
Jean-Christophe Filliâtre authored
program typing now distinguishes two kinds of variables, one for typing programs and another one for typing annotations
fa6b4092
program typing now distinguishes two kinds of variables, one for typing programs and another one for typing annotations