Added day 1 lecture file
Merge branch github into OPLSS
Merge branch 'OPLSS' of github.com:UlfNorell/agda-summer-school into OPLSS