simply-typed-lambda-calculus topic
List
simply-typed-lambda-calculus repositories
universe-of-syntax
16
Stars
0
Forks
Watchers
A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.
