Add presentation so far.

[matthijs/master-project/final-presentation.git] / talk.fmt

diff --git a/talk.fmt b/talk.fmt
new file mode 100644 (file)
index 0000000..0cf1757
--- /dev/null
+++ b/talk.fmt
@@ -0,0 +1,26 @@
+%include polycode.fmt
+
+%if style == newcode 
+%format ANN(x) = "{-# ANN " x " #-}"
+%format CXT(x) = "(" x ")"
+%format `      = "''"
+%format ^^ = " " 
+%else 
+%format ANN(x) = "\{-\#\ \mathit{ANN}\ " x "\ \#-\}"
+%format CXT(x) = "(Some\ context...)"
+%format `      = "''"
+%format ^^ = "\; "
+%format :>:   = "\ensuremath{>}"
+%format :<:   = "\ensuremath{<}"
+%format :==:  = "\ensuremath{\equiv}"
+%format :-:   = "\ensuremath{-}"
+%format :+:   = "\ensuremath{+}"
+%format :*:   = "\ensuremath{*}"
+%format :<=:  = "\ensuremath{\leq}"
+%format SPL(x)  = "\$" ( x ) 
+%format QU(x)   = "\llbracket " x "\rrbracket "
+%format QUd(x)  = "[d|" x "\rrbracket "
+%format QUt(x)  = "[t|" x "\rrbracket "
+%format ^^      = "\; "
+%format **      = "\ \mathit{**}\ "
+%endif 
\ No newline at end of file