Dr Lint

Dr. Lint is an integrated development environment (IDE) that allows the user to easily experiment with the nine different interpreters. Most language implementations are benefited by a parser, pretty printer, and GUI. Since these problems are relatively similar between different languages, Dr. Lint is developed as a framework on which future languages can be developed.

The implementation of Dr. Lint prompted solving these problems as well as an efficient system for testing the Makefile and the implementation. In the future, Dr. Lint will make experimental languages easier to develop and use.

Download current Dr. Lint source distribution: (December 1, 2005)

Installation Instructions

1. Make sure that you have MetaOCaml.

2. Download and install LablGtk (follow simple installation instructions).

3. Untar the Dr Lint source distribution

tar xvf lint.tgz

cd lint

4. Read installation instructions (file INSTALL)