Great course, well tought and constructed. Great auto grader for the excercises. Both challenging and fun.

P.s. I liked your talk at north east scala symposium about scala's type system, looking foreword to more like this