Programmation fonctionnelle vérifiée en Agda - Verified Functional Programming in Agda
Agda est un langage de programmation avancé basé sur la théorie...
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)
