Featured
Compare webshops (2)
Pages: 289, Paperback, Independently published
Prices were last updated on: 17-06-2026, 00:59
Independently Published
Idris para principiantes: Cómo explorar los tipos dependientes y la programación funcional
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