Estoy tratando de aprender agda. Sin embargo, tengo un problema. Todos los tutoriales que encontré en agda wiki son demasiado complejos para mí y cubren diferentes aspectos de la programación. Después de la lectura paralela de 3 tutoriales sobre agda, pude escribir pruebas simples, pero aún no tengo suficiente conocimiento para usarlo para la corrección del algoritmo de la palabra real.Cómo aprender agda
¿Me puede recomendar algún tutoriales sobre el tema? Algo similar a Aprende a ti mismo un Haskell pero para Agda.
pregunta relacionada (solicitada más adelante): http://stackoverflow.com/questions/13497865/where-to-start-with-dependent-type-programming/14292455#14292455 –
no Agda, pero Idris, pero sigue siendo bastante relevante: https://vimeo.com/117221082 –