Commit Graph

20 Commits (indeps-inversion)

Author SHA1 Message Date
mama 7f4df2a2cb ⬆️ Mise à jour de Ramda 2018-01-08 17:47:43 +01:00
mama a11414a2da Formattage de l'ensemble des fichiers JS 2018-01-03 16:54:19 +01:00
Laurent Bossavit 46c994702b ⚙️ Ajoute une référence 2017-09-01 16:17:00 +02:00
Laurent Bossavit a379d2e2d5 ⚙️ Memoise le calcul via StateT 2017-09-01 16:17:00 +02:00
Laurent Bossavit 21dd767fee ⚙️ Bascule sur les monades de Akh 2017-09-01 16:17:00 +02:00
Laurent Bossavit 06d260d5f8 ⚙️ Ajoute quelques références 2017-09-01 16:17:00 +02:00
Laurent Bossavit d35148378f ⚙️ Met en place les catamorphismes monadiques 2017-09-01 16:17:00 +02:00
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