Publicaciones sobre Agda

09-11-2024Readings shared November 9, 2024
07-11-2024Readings shared November 7, 2024
22-10-2024Readings shared October 22, 2024
18-10-2024Readings shared October 18, 2024
10-10-2024Readings shared October 10, 2024
05-10-2024Readings shared October 5, 2024
14-09-2024Readings shared September 14, 2024
08-09-2024Readings shared September 8, 2024
06-09-2024Readings shared September 6, 2024
05-09-2024Readings shared September 5, 2024
01-09-2024Readings shared September 1, 2024
31-08-2024Readings shared August 31, 2024
31-08-2024Readings shared August 30, 2024
25-08-2024Readings shared August 24, 2024
23-08-2024Readings shared August 22, 2024
14-08-2024Readings Shared August 13, 2024
03-08-2024Lecturas compartidas el 2 de agosto de 2024
14-07-2024Lecturas compartidas el 13 de julio de 2024
11-07-2024Lecturas compartidas el 10 de julio de 2024
08-07-2024Lecturas compartidas el 7 de julio de 2024
26-06-2024Lecturas compartidas el 25 de junio de 2024
19-05-2024Lecturas compartidas el 18 de mayo de 2024
17-05-2024Lecturas compartidas el 16 de mayo de 2024