From 5c1bf1e777f25701bb5beb24aa4cb9b424515ff5 Mon Sep 17 00:00:00 2001 From: Floris van Doorn Date: Mon, 2 Nov 2015 12:28:49 -0500 Subject: [PATCH] fix(hott): delete empty file --- hott/algebra/category/functor/curry.hlean | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 hott/algebra/category/functor/curry.hlean diff --git a/hott/algebra/category/functor/curry.hlean b/hott/algebra/category/functor/curry.hlean deleted file mode 100644 index 9ada0b4ca..000000000 --- a/hott/algebra/category/functor/curry.hlean +++ /dev/null @@ -1,7 +0,0 @@ -/- -Copyright (c) 2015 Floris van Doorn. All rights reserved. -Released under Apache 2.0 license as described in the file LICENSE. -Authors: Floris van Doorn - -Definition of currying and uncurrying of functors --/