Kanak kanaksad

• University of California, Riverside

• Riverside, CA
• kanakdas.me

Pinned Loading

2. Forked from jozefg/learn-tt

   A collection of resources for learning type theory and type theory adjacent fields.