From c22724e8f01c3d12405cf9f7a3a0f27f419ba6fe Mon Sep 17 00:00:00 2001 From: Aidan Hamwood Date: Sat, 2 Dec 2017 12:16:58 +1000 Subject: [PATCH] Fix spelling in Coyoneda.idr --- Data/Functor/Coyoneda.idr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Data/Functor/Coyoneda.idr b/Data/Functor/Coyoneda.idr index 2366da5..5c5a0ba 100644 --- a/Data/Functor/Coyoneda.idr +++ b/Data/Functor/Coyoneda.idr @@ -1,4 +1,4 @@ -module Data.Functor.Coyoenda +module Data.Functor.Coyoneda %access public export