Lazi

Suivi des tâches

Tâches

  • Présente la tâche en cours (marquée ==1=> puis ==2=> si il y en a une autre parallèle en attente .) avec les tâches parents et les dernières tâches enfants exécutées.

Idée en cours

Revoir le texte de vue générale de la définition de Lazi pour mieux le présenter puis comprendre en quoi les règles de récursivité et de tiers exclu sont utiles. Puis voir si on peut assimiler quantificateur univers et fonction.