lambductive. A lambda calculus with tarski universes, pi types, and self-referential expressions

github.com/shlevy/lambductive
by @shlevy

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.