Commit Graph

8 Commits (8d92b7bf3ec4b8e9b174d2d0b38071d1ede9434c)

Author SHA1 Message Date
Laurent Bossavit 8d92b7bf3e ⚙️ Ajoute quelques notes 2017-09-01 16:16:59 +02:00
Laurent Bossavit 63dcb5030b ⚙️ Ajoute quelques notes 2017-09-01 16:16:59 +02:00
Laurent Bossavit 5a6aa2a091 ⚙️ Fonction de collecte des variables manquantes 2017-09-01 16:16:59 +02:00
Laurent Bossavit 8b279615fa ⚙️ Utilise Maybe pour l'optionnalité des valeurs 2017-09-01 16:16:59 +02:00
Laurent Bossavit 0aa90327d3 ⚙️ Interprète avec des variables 2017-09-01 16:16:59 +02:00
Laurent Bossavit 2da3d37ae0 ⚙️ Utiliser les F-algebra 2017-09-01 16:16:59 +02:00
Laurent Bossavit 5a184ad511 Forme fonctionnelle 2017-09-01 16:16:59 +02:00
Laurent Bossavit b7de15c900 ⚙️ Explorer un monde simplifié pour le moteur 2017-09-01 16:16:59 +02:00