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.