From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 9 May 2011 04:36:07 +0000 (-0700)
Subject: change ECKind to *=>*=>*
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=64a5591df2cf9e7fde9fbd8ef7ea712bf28df201;ds=sidebyside

change ECKind to *=>*=>*
---

diff --git a/src/HaskKinds.v b/src/HaskKinds.v
index 2200f51..d575d12 100644
--- a/src/HaskKinds.v
+++ b/src/HaskKinds.v
@@ -38,7 +38,7 @@ Notation "'★'"   := KindStar.
 Notation "a ⇛ b" := (KindArrow a b).
 
 (* the kind of environment classifiers *)
-Definition ECKind := ★ .  
+Definition ECKind := ★ ⇛ ★ ⇛ ★.  
 Opaque ECKind.
 
 Fixpoint kindToLatexMath (k:Kind) : LatexMath :=