CS 641 Lecture -*- Outline -*- for higher order types

	lecture 1
* introduction

	lectures 2-4
* implicit-systems

	lectures 4-10
* explicit-systems