Lazi

Implémentation des extensions nécessaires.

Description

Implémenter Lazi.1 et les extensions nécessaire pour la varification des types.

Sous-tâches

  • Adaptation pour ces extensions | À faire | 2018