From 64a5591df2cf9e7fde9fbd8ef7ea712bf28df201 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sun, 8 May 2011 21:36:07 -0700 Subject: [PATCH] change ECKind to *=>*=>* --- src/HaskKinds.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 := -- 1.7.10.4