[some superficial changes by Janis
jv@informatik.uni-bonn.de**20100916045218
 Ignore-this: 206e04e4cfe7a99ab392b42c2998a033
] hunk ./b18n-combined-cgi.hs 45
-	thetitle << "(Combining) Syntatic and Semantic Bidirectionalization" +++
+	thetitle << "(Combining) Syntactic and Semantic Bidirectionalization" +++
hunk ./b18n-combined-cgi.hs 67
-                      "Makoto Hamana and " +++
+                      "Makoto Hamana, and " +++
hunk ./b18n-combined-cgi.hs 83
-		      hotlink "http://www.iai.uni-bonn.de/~jv/"
-                        << "Janis Voigtländer" +++ ", " +++
+                      "Janis Voigtländer" +++ ", " +++
hunk ./b18n-combined-cgi.hs 85
-		      hotlink "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
-                        << "Kazutaka Matsuda" +++ ", " +++
+                      "Kazutaka Matsuda" +++ ", and " +++
hunk ./b18n-combined-cgi.hs 100
-                                "defined will be assumed to be your view function."
+                                "defined will be assumed to be your view function. You "+++
+                                "can use the first-order functional language from the "+++
+                                "ICFP'07 paper, in Haskell syntax. The view function must "+++
+                                "have type " +++ tt << "[a] -> [a]" +++ "."
hunk ./b18n-combined-cgi.hs 206
+		, ""
hunk ./b18n-combined-cgi.hs 219
-		, "initHalfWork xs  []  = []"
-		, "initHalfWork xs  [x] = []"
-		, "initHalfWork (a:x) (b:c:y)"
-		, "                    = a:initHalfWork x y"
+		, "initHalfWork xs    []      = []"
+		, "initHalfWork xs    [x]     = []"
+		, "initHalfWork (a:x) (b:c:y) = a:initHalfWork x y"
hunk ./b18n-combined-cgi.hs 224
-		[ "reverse xs = rev xs []"
+		[ "reverse []     = []"
+		, "reverse (x:xs) = rev xs [x]"
+		, ""
hunk ./b18n-combined-cgi.hs 324
-            , "bias = rear"
-            , "default_value = 42"
+            , "bias = rear         -- or another option, e.g., front, middle, borders"
+            , "default_value = 42  -- or another value of the element type of source"