Lazi

Réarangement des définitions et Lazi.1.4

Description

Suite à "Quelles règles pour lazi.1.0", il est nécessaire de remanier les sources et définitions.

Sous-tâches

  • Remanier les définitions du lexique | 5/2021 | fait
  • Réaranger le code source | 5/21 | en cours
    • Documenter la programmation objet | 5/21 | en cours
    • Définir lazi.1.3 (généralisation primitive) | à faire
    • Tenter de définir lazi.1.4 (descente) | à faire
  • Adapter les testes | à faire
  • Valider les testes | à faire
  • Définition de Lazi 1.4 | à faire