blob: cbccf4c15d6a791a161aa2de9e828b7629bed0df (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
definition module LaTeX
// This module is more flexible than Text.LaTeX
from StdOverloaded import class toString
:: LaTeX = Command !String ![LaTeX]
| Environment !String ![LaTeX]
| Text !String
| Raw !String
| Math !Bool /* double $ */ ![LaTeX]
| List ![LaTeX]
class toLaTeX a :: !a -> LaTeX
instance toString LaTeX
|
