.png)
Érase una vez un algoritmo...
Mi bitácora de reflexiones concernientes a la informática desde una visión técnica, científica y filosófica.
Érase una vez un algoritmo...
(Totalidad + Tipos dependientes) = Agda | S3-E2
•
Season 3
•
Episode 2
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/