From: Anders Mörtberg Date: Sun, 25 Dec 2016 21:34:40 +0000 (+0100) Subject: swap direction of equality to match order in comment X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=60779eea3601f62b0d59b0fcf28fd0cfb99383f6;p=cubicaltt.git swap direction of equality to match order in comment --- diff --git a/examples/opposite.ctt b/examples/opposite.ctt index 6c01312..4d27e54 100644 --- a/examples/opposite.ctt +++ b/examples/opposite.ctt @@ -31,5 +31,5 @@ oppCat (C : precategory) : precategory = (Copp,isPrecategoryCopp) isPrecategoryCopp : isPrecategory Copp = (idOpp,compOpp,isPrecategory2Copp) -oppOppCat (C : precategory) : Path precategory C (oppCat (oppCat C)) = +oppOppCat (C : precategory) : Path precategory (oppCat (oppCat C)) C = C