Představení autora Edwin Brady:

Doposud vydané knihy od Edwin Brady:

Typově řízený vývoj s Idrisem - Type-Driven Development with Idris

Shrnutí Kniha Type-Driven Development with Idris, jejímž autorem je tvůrce Idrisu, vás naučí,...