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
- Comment surcharger les fonctions| 5/21 | fait
- Définir lazi.1.3 (généralisation primitive) | à faire
- Tenter de définir lazi.1.4 (descente) | à faire
- Documenter la programmation objet | 5/21 | en cours
- Adapter les testes | à faire
- Valider les testes | à faire
- Définition de Lazi 1.4 | à faire