--- a/progs/lecture3.scala	Tue Dec 07 01:35:00 2021 +0000
+++ b/progs/lecture3.scala	Tue Dec 07 23:17:51 2021 +0000
@@ -2,6 +2,7 @@
 //=================
 
 
+
 // naive quicksort with "On" function
 
 def sortOn(f: Int => Int, xs: List[Int]) : List[Int] = {