jfrozas / DLP

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

About

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


Languages

Language:OCaml 99.1%Language:Makefile 0.9%