Commit Graph

13 Commits (1ce11035f0d7c3ae50f7fea4b3938f8db1733e9b)

Author SHA1 Message Date
Laurent Bossavit 1ce11035f0 ⚙️ Teste et documente l'évaluation de formules 2017-09-01 16:17:00 +02:00
Laurent Bossavit 7d75d67d44 ⚙️ Etoffe la documentation 2017-09-01 16:17:00 +02:00
Laurent Bossavit 0089674d93 ⚙️ Pour l'instant seul Assign a un statut à part 2017-09-01 16:17:00 +02:00
Laurent Bossavit 8500b61660 ⚙️ Evaluer ET annoter ET séparer la récursion 2017-09-01 16:17:00 +02:00
Laurent Bossavit 1d70be0b5d ⚙️ Evaluer ET annoter, mais récursion explicite 2017-09-01 16:17:00 +02:00
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