Commits

Commit history

1. Commits on Aug 14, 2015

   • Squashed annoying typo

     jozefg

     committed
     fef6e3aView commit details

     Copy full SHA for fef6e3a

     Browse repository at this point

   • Added Reynold's lectures, OPLSS, and Programming in MLTT

     jozefg

     committed
     6d683eeView commit details

     Copy full SHA for 6d683ee

     Browse repository at this point

   • Added link to list of Idris talks in official repo

     jozefg

     committed
     ba8f5b6View commit details

     Copy full SHA for ba8f5b6

     Browse repository at this point
2. Commits on Aug 12, 2015

   • Trimmed some of the English

     jozefg

     committed
     b09164bView commit details

     Copy full SHA for b09164b

     Browse repository at this point

   • Added a bunch of links

     jozefg

     committed
     b64570eView commit details

     Copy full SHA for b64570e

     Browse repository at this point
3. Commits on Aug 4, 2015

   • Added some resources for CTT

     jozefg

     committed
     667e45bView commit details

     Copy full SHA for 667e45b

     Browse repository at this point

   • Start of sections on type and proof theory

     jozefg

     committed
     c2cba65View commit details

     Copy full SHA for c2cba65

     Browse repository at this point
4. Commits on Aug 3, 2015

   • Added a skeleton of the resources for CT and proof assistants

     jozefg

     committed
     11e5bc2View commit details

     Copy full SHA for 11e5bc2

     Browse repository at this point

   • New section on how to read this

     jozefg

     committed
     fafe344View commit details

     Copy full SHA for fafe344

     Browse repository at this point

   • Added first cut at README

     jozefg

     committed
     2c6bed7View commit details

     Copy full SHA for 2c6bed7

     Browse repository at this point