dieter.py

by Chris Pressey, Cat's Eye Technologies

This is the reference implementation of the programming language Dieter. It is a typechecker, written in Python. It is distributed in the Dieter distribution and it is distributed under the BSD license.

Dependencies

To run this implementation, you need: