talk.fmt

   1 %include polycode.fmt
   2
   3 %if style == newcode
   4 %format ANN(x) = "{-# ANN " x " #-}"
   5 %format CXT(x) = "(" x ")"
   6 %format `      = "''"
   7 %format ^^ = " "
   8 %else
   9 %format ANN(x) = "\{-\#\ \mathit{ANN}\ " x "\ \#-\}"
  10 %format CXT(x) = "(Some\ context...)"
  11 %format `      = "''"
  12 %format ^^ = "\; "
  13 %format :>:   = "\ensuremath{>}"
  14 %format :<:   = "\ensuremath{<}"
  15 %format :==:  = "\ensuremath{\equiv}"
  16 %format :-:   = "\ensuremath{-}"
  17 %format :+:   = "\ensuremath{+}"
  18 %format :*:   = "\ensuremath{*}"
  19 %format :<=:  = "\ensuremath{\leq}"
  20 %format SPL(x)  = "\$" ( x )
  21 %format QU(x)   = "\llbracket " x "\rrbracket "
  22 %format QUd(x)  = "[d|" x "\rrbracket "
  23 %format QUt(x)  = "[t|" x "\rrbracket "
  24 %format ^^      = "\; "
  25 %endif