Featured
Compare webshops (2)
Pages: 289, Hardcover, Independently published
Prices were last updated on: 15-06-2026, 01:49
Independently Published
Idris para principiantes: Cómo explorar los tipos dependientes y la programación funcional: 42
Haskell para principiantes: Cómo comprender la programación funcional pura con tipos fuertes
Programación profesional de Idris: Cómo diseñar sistemas confiables con tipos dependientes a gran escala
Back to top