Lec2 and Lec3 for Edinburgh
save the file, dimwit
Merge branch 'master' into solutions

Conflicts:
	Exe0.agda
Merge branch 'solutions' of github.com:pozorvlak/MetaprogAgda into solutions