pure-type-system
A python implementation of Barendregt's pure type system.
Syntax
Used tuples to encode a syntax tree without ADT's in Python. De Bruijn indices are used throughout, except in generating string representations.
Typing Rules
See Barendregt's Lambda Calculi with Types.