From d8297fec19292c544a32a474500eca49552215d0 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 6 Jun 2016 23:00:42 +0200
Subject: LaTeX formatting for derivation trees

---
 LaTeX.dcl | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 LaTeX.dcl

(limited to 'LaTeX.dcl')

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
-- 
cgit v1.2.3