X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Ffinal-presentation.git;a=blobdiff_plain;f=talk.fmt;h=7776f5876f0921a776bb20a01ca375aed44cc102;hp=5a49f7295d2d911fcb1671bf8de3aaa25cb47cf9;hb=763ae6d1733a619ad6cf7252a94bdc5eb041f186;hpb=345049057873c381db195394581c11ef07b5a404

diff --git a/talk.fmt b/talk.fmt
index 5a49f72..7776f58 100644
--- 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