From 313351372e8c609c2875902d9c9a2b89f7c97032 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Tue, 8 Dec 2009 11:18:03 +0100 Subject: [PATCH] Replace a starttyping with starthaskell. --- Chapters/Prototype.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.30.2