A python implementation of Barendregt's pure type system.
Used tuples to encode a syntax tree without ADT's in Python. De Bruijn indices are used throughout, except in generating string representations.
See Barendregt's Lambda Calculi with Types.
-
Notifications
You must be signed in to change notification settings - Fork 0
Trebor-Huang/pure-type-system
About
A python implementation of Barendregt's pure type system.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published