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