X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=talk.fmt;fp=talk.fmt;h=0cf17575a1d4f7bd5f4d0370e913eb9bb9b44802;hb=d0420235340ee715db69a023bf0f6ad75d573735;hp=0000000000000000000000000000000000000000;hpb=dfa8e8c67fe722269e1b61016bffa4c9ad5bc0b6;p=matthijs%2Fmaster-project%2Ffinal-presentation.git

diff --git a/talk.fmt b/talk.fmt
new file mode 100644
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