From e7f56486076cc561ceb0529b05725c01d7d1b154 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= Date: Tue, 30 Oct 2018 14:37:15 +0100 Subject: [PATCH] Disable cube --- src/Cat.agda | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Cat.agda b/src/Cat.agda index a2d73e8..4c3aad1 100644 --- a/src/Cat.agda +++ b/src/Cat.agda @@ -20,5 +20,5 @@ open import Cat.Categories.Cat open import Cat.Categories.Rel open import Cat.Categories.Free open import Cat.Categories.Fun -open import Cat.Categories.Cube +-- open import Cat.Categories.Cube open import Cat.Categories.CwF