/lambda-cat

A work in progress of converting lambda calculus terms to functors

Primary LanguageCoq

Watchers