Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Jun 16, 2012
  1. prev y succ

    authored
Commits on Jun 3, 2012
  1. mas definiciones en haskell

    authored
Commits on Jun 2, 2012
  1. haskell ahora compila

    authored
Commits on May 20, 2012
  1. tests

    authored
  2. extraida la clase Termino

    authored
  3. soporte completo para if anidados en cualquier parte de la estructura…

    authored
    …, requiere del uso intensivo de parentesis
Commits on May 19, 2012
  1. mejor formato

    authored
  2. renombrado base a definicion

    authored
  3. ejemplo

    authored
  4. nombre de reglas

    authored
  5. formato

    authored
  6. formato

    authored
  7. formato

    authored
  8. mejor formato

    authored
  9. notacion de pierce

    authored
  10. esquema de reglas

    authored
  11. formato

    authored
  12. definicion reduccion

    authored
  13. forma normal

    authored
  14. primeras reglas de evaluacion

    authored
  15. italics

    authored
  16. first commit

    authored
Something went wrong with that request. Please try again.