Idris para principiantes: Cómo explorar los tipos dependientes y la programación funcional
Confronta i webshop (1)
Shop
Prezzo
Pagine: 289, Copertina rigida, Independently published