itt-bidirectional. A bidirectional type checker for intensional constructive type theory (with thanks to Stephanie Weirich).

github.com/jonsterling/itt-bidirectional
by @jonsterling

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.