/lambda-cat

A work in progress of converting lambda calculus terms to functors

Primary LanguageCoq

lambda-cat

A work in progress of converting lambda calculus terms to functors