From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Thu, 7 Jul 2016 11:57:41 +0000 (+0200)
Subject: move testempty
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=60996d8cad3383589b1d06c6a1a9fff5e2a6cbed;p=cubicaltt.git

move testempty
---

diff --git a/examples/testempty.ctt b/experiments/testempty.ctt
similarity index 95%
rename from examples/testempty.ctt
rename to experiments/testempty.ctt
index e4cd234..04bdfa7 100644
--- a/examples/testempty.ctt
+++ b/experiments/testempty.ctt
@@ -1,3 +1,5 @@
+-- This file tests some things where Coq gets stuck but cubicaltt don't
+-- It doesn't compile with the new definition of equiv
 module testempty where
 
 import nat