From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Sat, 23 Jan 2016 17:38:16 +0000 (-0500)
Subject: comment in nthmUniv
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=65b170d4c13c9d7dbb18b82b3946ce64dd28bcae;p=cubicaltt.git

comment in nthmUniv
---

diff --git a/examples/nthmUniv.ctt b/examples/nthmUniv.ctt
index 04f29d2..f7320d7 100644
--- a/examples/nthmUniv.ctt
+++ b/examples/nthmUniv.ctt
@@ -1,3 +1,6 @@
+-- This file contains the normal form of thmUniv from
+-- examples/univalence.ctt. It takes about 50 hours to load it, but it
+-- seems to be correct.
 module nthmUniv where
 
 import univalence