David Christiansen
  • Tutorials
  • Blog

New tutorial on bidirectional typing rules

Posted 2013-10-16 in Tutorial

I’ve just written a new tutorial on bidirectional typing rules. It’s available from my tutorials page. The PDF can also be downloaded directly.

  • ← Techniques for using decision procedures in Idris
  • Tutorials on my ITU page →

Find me

  1. GitHub
  2. Twitter
  3. The Type Theory Podcast

Feeds

  • Atom
  • RSS