Érase una vez un algoritmo...

(Totalidad + Tipos dependientes) = Agda | S3-E2


Listen Later

¡Enviáme un mensaje!

Pueden revisar la siguiente entrada de mi blog para acceder a un tutorial sobre la programación funcional, Haskell y Agda:
 
https://camilochaconsartori.wordpress.com/2021/08/08/el-renacer-de-un-viejo-conocido-la-programacion-funcional/

Support the show

...more
View all episodesView all episodes
Download on the App Store

Érase una vez un algoritmo...By Camilo Chacón Sartori


More shows like Érase una vez un algoritmo...

View all
DevTalles by Fernando Herrera

DevTalles

11 Listeners