--- a/progs/lecture2.scala	Fri Nov 11 16:44:19 2016 +0000
+++ b/progs/lecture2.scala	Sat Nov 12 15:20:56 2016 +0000
@@ -2,6 +2,11 @@
 // some none
 // pattern matching
 
+//type abbreviations
+type Pos = (int, Int)
+
+//sorting, higher-order functions
+//lexicographic ordering
 
 
 // Implicits