Commit Graph

6 Commits (5a6aa2a0911751d9e7049ba026859f64c2767a53)

Author SHA1 Message Date
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