18 min de escucha
(Totalidad + Tipos dependientes) = Agda | S3-E2
(Totalidad + Tipos dependientes) = Agda | S3-E2
valoraciones:
Longitud:
24 minutos
Publicado:
21 ago 2021
Formato:
Episodio de podcast
Descripción
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/
Publicado:
21 ago 2021
Formato:
Episodio de podcast
Títulos en esta serie (100)
¿Qué es un algoritmo? | E3 de Érase una vez un algoritmo...