Prezentacja autora Edwin Brady:

Dotychczas wydane książki Edwin Brady:

Programowanie oparte na typach z Idris - Type-Driven Development with Idris

Streszczenie Type-Driven Development with Idris, napisana przez twórcę Idris,...