"You can also load some predefined examples."
[darcs-mirror-sem_syn.git] / b18n-combined-cgi.hs
index 372888a..b2e1bc2 100644 (file)
@@ -109,7 +109,8 @@ page (PageInfo {..}) =
                                 "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]" +++ "."
+                                "have type " +++ tt << "[a] -> [a]" +++ ". You can also load "+++
+                                "some predefined examples."
                        ) +++
 
                        p << (