Predstavenie autora Edwin Brady:

Doterajšie vydané knihy od Edwin Brady:

Typom riadený vývoj s Idrisom - Type-Driven Development with Idris

Zhrnutie Kniha Type-Driven Development with Idris, ktorú napísal tvorca Idrisu, vás naučí, ako...