X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FPrototype.tex;fp=Chapters%2FPrototype.tex;h=73873bd2d2fd0115a142713cd2210de3f63d79aa;hp=eb66f002e1cb1731651164fd09e6754057ba9720;hb=313351372e8c609c2875902d9c9a2b89f7c97032;hpb=154ed9087b16da84af53fb30abee57bfd9e16a04

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index eb66f00..73873bd 100644
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -902,9 +902,9 @@
       needed. For example, consider the following state type (this is just the
       state type, not the entire function type):
 
-      \starttyping
+      \starthaskell
       State (State Bit, State (State Word, Bit), Word)
-      \stoptyping
+      \stophaskell
 
       We cannot leave all these \hs{State} type constructors out, since that
       would change the type (unlike when using type synonyms). However, when