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 e4cd23485e24cb35785724cf295ab7dd0660135b..04bdfa7a2b64156483a17f0d6ad44df4a6aa50b4 100644 (file)
--- 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