https://github.com/disguisedpigeon/lambda-interpreter

A basic lambda calculus interpreter written in ocaml. This was written as a university project for Diseño de Lenguajes de Programacion.
https://github.com/disguisedpigeon/lambda-interpreter

diseno-de-lenguajes-de-programacion fic interpreter lambda-calculus lambda-calculus-interpreter ocaml udc

Last synced: about 1 year ago
JSON representation

A basic lambda calculus interpreter written in ocaml. This was written as a university project for Diseño de Lenguajes de Programacion.

• Host: GitHub
• URL: https://github.com/disguisedpigeon/lambda-interpreter
• Owner: DisguisedPigeon
• Created: 2025-02-26T14:41:54.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2025-02-26T14:50:31.000Z (about 1 year ago)
• Last Synced: 2025-02-26T15:38:00.933Z (about 1 year ago)
• Topics: diseno-de-lenguajes-de-programacion, fic, interpreter, lambda-calculus, lambda-calculus-interpreter, ocaml, udc
• Language: OCaml
• Homepage:
• Size: 0 Bytes
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Lambda interpreter

Un interprete de lambda-calculo escrito en ocaml.

Este proyecto has sido realizado para la asignatura DLP de la Universidade da Coruña, para el grado de ingeniería informática.