-
Jean-Christophe Filliâtre authored
programs: type-checking of application is now performed differently to revocer application of logical symbols and A-normal form
bf7ad68c
programs: type-checking of application is now performed differently to revocer application of logical symbols and A-normal form