Higher Greek lecture notes