agda - programacion - etiquetas html pdf
¿Hay ejemplos de código Agda ejecutándose en producción? (0)
Agda es un lenguaje de programación agradable para explorar tipos dependientes y jugar con la teoría de tipo intuicionista y para experimentar con la implementación de estas cosas. Pero, ¿ya hay ejemplos de programas "reales" escritos en Agda? ¿Tal vez incluso ejemplos que muestren sus características (similar a cómo xmonad se menciona a menudo como un ejemplo de un programa "real" de Haskell)?