Idris para principiantes: Cómo explorar los tipos dependientes y la programación funcional (Colección de Lenguajes Próxima Generación)
Comparar tiendas web (1)
Shop
Precio
Páginas: 289, Tapa blanda, Independently published