/pure-type-system

A python implementation of Barendregt's pure type system.

Primary LanguagePython

Watchers