[Label b18n radio buttons Joachim Breitner **20100915135721 Ignore-this: 555daeb566e94af04165967cba82628d ] hunk ./b18n-combined-cgi.hs 62 - "” (ICFP'07) by " +++ + "” (ICFP’07) by " +++ hunk ./b18n-combined-cgi.hs 74 - "” (POPL'09) by " +++ + "” (POPL’09) by " +++ hunk ./b18n-combined-cgi.hs 82 - "” (ICFP'10) by " +++ + "” (ICFP’10) by " +++ hunk ./b18n-combined-cgi.hs 124 - p << ( - "You can calculate a derived put function with various options:" ) +++ - p << ( "Output mode: " +++ - concatHtml (map (\mode -> + p << ( "You can try all three bidirectionalization methods." ) +++ + p << ( concatHtml (map (\mode -> hunk ./b18n-combined-cgi.hs 128 - +++ show mode +++ " " - ) [SyntacticB18n, SemanticB18n, CombinedB18n]) +++ br +++ + +++ b18nModeName mode +++ " " + ) [SyntacticB18n, SemanticB18n, CombinedB18n]) +++ " " +++ hunk ./b18n-combined-cgi.hs 246 +b18nModeName SemanticB18n = "Semantic bidir. (POPL’09)" +b18nModeName SyntacticB18n = "Syntactic bidir. (ICFP’07)" +b18nModeName CombinedB18n = "Combined bidir. (ICFP’10)" +