Work Plan for Week 2

Material

name	file name	short version	note
Working with Structured Data	Lists[.html|.v]	download
Polymorphism and Higher-Order Functions	Poly[.html|.v]	download	the Church Numerals section is out of scope for this course
More Basics Tactics	Tactics[.html|.v]		self-study

Schedule

date	time	location	type
Monday, 8 September	10:45 - 12:45	CEG - Hall D	lecture
Tuesday, 9 September	8:45 - 10:45	CEG - Hall D	lecture
Thursday, 11 September	13:45 - 15:45	Echo - Hall B	problem session

Problem Session

file	exercises
Lists[.html|.v]	all exercises pertaining to eqblist (starting at eqblist and ending with eqblist_refl)
Poly[.html|.v]	both more_poly_exercises (rev_app_distr and rev_involutive) split and test_split fold_length_correct
Tactics[.html|.v]	get acquainted with the other tactics (read everything and do the 1-star exercises but don’t dwell on difficult things)

---

If you need help, make a request during the problem session in the Queue or reach out on Mattermost.