lazi.0.1
Définition
Lazi.0.1 désigne lazi.0.0 plus les diverses notations utilisées pour définir lazi.1.
Exemples de ces notations :
- les noms définis
- les fonctions ($F ... → )
Lazi.0.1 désigne lazi.0.0 plus les diverses notations utilisées pour définir lazi.1.
Exemples de ces notations :