From 6b017fc7346850c589273befe5faef9ee57bd53d Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Mon, 14 Mar 2011 18:50:20 -0700 Subject: [PATCH] formatting --- src/HaskProofToLatex.v | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/HaskProofToLatex.v b/src/HaskProofToLatex.v index be5cb31..25e2523 100644 --- a/src/HaskProofToLatex.v +++ b/src/HaskProofToLatex.v @@ -26,9 +26,9 @@ Section ToLatex. Fixpoint kind2latex (k:Kind) : string := match k with - | KindStar => "\star" - | KindArrow KindStar k2 => "\star\Rightarrow "+++kind2latex k2 - | KindArrow k1 k2 => "("+++kind2latex k1+++")\Rightarrow "+++kind2latex k2 + | ★ => "\star" + | ★ ⇛ k2 => "\star\Rightarrow "+++kind2latex k2 + | k1 ⇛ k2 => "("+++kind2latex k1+++")\Rightarrow "+++kind2latex k2 | KindUnliftedType => "\text{\tt{\#}}" | KindUnboxedTuple => "\text{\tt{(\#)}}" | KindArgType => "\text{\tt{??}}" -- 1.7.10.4