LaTeX formatting for derivation treesHEADmaster

1 files changed, 15 insertions, 0 deletions

diff --git a/LaTeX.dcl b/LaTeX.dcl
new file mode 100644
index 0000000..cbccf4c
--- /dev/null
+++ b/LaTeX.dcl
@@ -0,0 +1,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