Lean-lang !
[mon avis] Lean-lang (lean4) vaut le détour, c’est un langage de programmation sympa (fluide, concis, élégant, puissant, etc.), mais surtout, […]
[mon avis] Lean-lang (lean4) vaut le détour, c’est un langage de programmation sympa (fluide, concis, élégant, puissant, etc.), mais surtout, […]
En 2017-2018, j’avais le plaisir de découvrir jupyter moodle/vpl depuis, les promesses se sont confirmées : ce sont des outils
[:fr]Les notebooks existent depuis pas mal de temps … il y en même un maintenant pour ProLog ! swish.swi-prolog.org
[:fr]J’avais un site sous drupal pour voir comment cela marchait, mais il a disparu, voici qlq’un des posts :