Présentation de l'auteur Edwin Brady :

Livres publiés jusqu'à présent par Edwin Brady :

Développement piloté par les types avec Idris - Type-Driven Development with Idris

Résumé Type-Driven Development with Idris, écrit par le créateur...