Notities toegevoegd

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

diff --git a/talk.fmt b/talk.fmt
index 5a49f7295d2d911fcb1671bf8de3aaa25cb47cf9..7776f5876f0921a776bb20a01ca375aed44cc102 100644 (file)
--- a/talk.fmt
+++ b/talk.fmt
@@ -1,25 +1,2 @@
-%include polycode.fmt
+%include lhs2TeX.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 ^^      = "\; "
-%endif 
\ No newline at end of file