(Totalidad + Tipos dependientes) = Agda | S3-E2
from Érase una vez un algoritmo...
¡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
Embed this episode
No transcript yet.
Frequently asked questions
How long is this episode of Érase una vez un algoritmo...?
This episode is 22 minutes long.
When was this Érase una vez un algoritmo... episode published?
This episode was published on August 21, 2021.
Can I download this Érase una vez un algoritmo... episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.