/* This file will hold the default definitions for a HTML file. */ import {x} = (imp x) prelude = "%n%n" finale = "%n" /* Process a single definition */ def title{x} -> ("", x, "%n") def style{{type}{cont}} -> ("%n") def encoding{x} -> ("") def _ -> "" /* Process a list of single definitions, or a single one*/ defaux {a} b = ((def a), (defaux b)) defaux a = (def a) defaux {} = "" /* Definition wrapper */ definition x = ("%n", (defaux x), "") /* Begin and End document */ begindoc = "" enddoc = "" /* Style tags */ chapter {x} = ("

", x, "

") section {x} = ("

", x, "

") subsection {x} = ("

", x, "

") subsubsection {x} = ("

", x, "

") /* Lists and definitions */ itemwrapper {a} b = ("
  • ", a, "
  • %n", (itemwrapper b)) itemwrapper {} = "" descwrapper {x}{y}z = ("
    ", x, "
    ", y, "
    %n", (descwrapper z)) descwrapper {} = "" descwrapper _ = fail itemize x = ("%n") enumerate x = ("
      %n", (itemwrapper x), "
    %n") description x = ("
    %n", (descwrapper x), "
    %n") /* Formating tags */ bold {x} = ("", x, "") italic {x} = ("", x, "") nl = "
    " /* links */ link {text}{to} = ("",text, "") anchor {name} = ("")