From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Fri, 4 Dec 2015 20:07:10 +0000 (-0500)
Subject: another small test
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=a299030f82121b2d6a919b939a65ed2001a06a84;p=cubicaltt.git

another small test
---

diff --git a/examples/shortsetquot.ctt b/examples/shortsetquot.ctt
index c76aa39..a568240 100644
--- a/examples/shortsetquot.ctt
+++ b/examples/shortsetquot.ctt
@@ -249,7 +249,7 @@ foo (x : bool') : bool = f x rem
 -- Time: 0m0.490s
 testfoo : bool = foo true'
 
-
+testfoo' : Id bool (foo true') true = <i> foo true'