Commits

Commit history

1. Commits on Sep 18, 2018

   • Update the inference rule lecture slide by replacing an improper example

     

     Shin Hong

     authored
     b968450View commit details

     Copy full SHA for b968450

     View code at this pointBrowse repository at this point

   • Add the lecture note on inference rules.

     

     Shin Hong

     authored
     7563c18View commit details

     Copy full SHA for 7563c18

     View code at this pointBrowse repository at this point
2. Loading