Skip to content

Latest commit

 

History

History
18 lines (14 loc) · 453 Bytes

README.md

File metadata and controls

18 lines (14 loc) · 453 Bytes

Intérprete de Lambda-cálculo realizado en Ocaml

Práctica realizada en la asignatura de Diseño de lenguajes de programación

El contenido consiste en la realización de un intérprete de Lambda-cálculo realizado en Ocaml. Las funcionalidades de este consisten en

  • Parser

  • Lexer

  • Programa principal (Lambda.ml)

    • Lee tokens
    • Permite recursión
    • Permite variables globales
    • Manejo de strings
    • Tuplas
    • Variantes
    • Registros