11 Dec
2010
11 Dec
'10
1:25 p.m.
the basic approach (originally) is to have an executable Haskell program so that you can typecheck it. Then you add some %format directives to make it look nice, eg.
%format Mu f = "\mu" f %format in_ = "in^\circ"
should do the job.
Hth, Ralf
It certainly does. Obvious really (as are all things once they are explained). Many thanks, Dominic.