Cărți Analiza si proiectarea sistemelor: 1 titlu

Type-Driven Development with Idris

Edwin Brady