Commit Graph

7 Commits (63dcb5030b8e9b33c03e708a9377c42bd7fdd50b)

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