EPISODE · Aug 21, 2021 · 22 MIN
(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
NOW PLAYING
(Totalidad + Tipos dependientes) = Agda | S3-E2
0:00
22:55
1×
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.
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.
URL copied to clipboard!