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