20 commits

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