Skip to content
/ DLP Public

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

Notifications You must be signed in to change notification settings

jfrozas/DLP

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published