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

diff --git a/talk.fmt b/talk.fmt
index 0cf1757..7776f58 100644
--- a/talk.fmt
+++ b/talk.fmt
@@ -1,26 +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 ^^      = "\; "
-%format **      = "\ \mathit{**}\ "
-%endif 
\ No newline at end of file