LD Programming language
Project bases on the concepts of domains used instead of traditional sets and untyped lambda calculus. Parsing is executed by Jigsaw library.


This project is an implementation of LD programming language described in the book "Programming language constuctions" by Viacheslav Wolfengagen. LD bases on denotational semantics and untyped lambda calculus.

Last edited Apr 6, 2013 at 5:21 PM by BohulenkovArtem, version 2