From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Tue, 15 Mar 2011 01:50:20 +0000 (-0700)
Subject: formatting
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=6b017fc7346850c589273befe5faef9ee57bd53d

formatting
---

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{??}}"