Intérprete de un lenguaje de definición y evaluación de funciones recursivas basado en el lenguaje REC del noveno capítulo (Recursion equations) del libro The Formal Semantics of Programming Languages: An Introduction de Glynn Winskel.
- Más información en la wiki.
- See the wiki documentation for further information.
- Consultez la wiki pour en savoir plus.
Con GHC y su biblioteca Parsec instalados, basta ejecutar make para generar el ejecutable rec. También es posible ejecutar el programa directamente con runhaskell Main.lhs.
La regla doc del Makefile genera la documentación del código con Haddock. La regla info genera la documentación presente en la wiki, si está disponible el programa Pandoc.