Hi
Does anybody know what the magical LaTeX command is to turn (say) "++"
into two overprinted pluses? (As seems to be fashionable...)
Just use lhs2tex and you get this (and more) for free.
http://www.informatik.uni-bonn.de/~loeh/lhs2tex/
Thanks
Neil
_
Thanks to both Christian and Tomasz.
This whole thing seems a bit too hard for the intended purpose.
After much tries and errors, I think i'll go for closures returning
DbIndex items.
Something like this :
uniqueIndex bkf datas =
DbIndex{dbiInsertIndex=insertIndex, {- more methods -}}
where
