Edwin Brady szerző bemutatása:

Edwin Brady szerző eddig megjelent könyvei:

Típusvezérelt fejlesztés Idrisszel - Type-Driven Development with Idris

Összefoglaló A Type-Driven Development with Idris, amelyet az Idris alkotója írt,...