From a717b58293c735eb056e609921861a1057fca3f7 Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Tue, 7 Mar 2023 14:29:31 -0500
Subject: [PATCH] Update ipkg

---
 README.md        | 2 +-
 profunctors.ipkg | 9 +++++++--
 2 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index e0cd271..e027ab2 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
 # Profunctors in Idris2
 
-This library is primarily a port of Haskell's
+This library is a loose port of Haskell's
 [profunctors](https://hackage.haskell.org/package/profunctors) library.
diff --git a/profunctors.ipkg b/profunctors.ipkg
index 55c78d0..184aa39 100644
--- a/profunctors.ipkg
+++ b/profunctors.ipkg
@@ -1,5 +1,5 @@
 package profunctors
-version = 0.0.0
+version = 1.0.0
 
 authors = "Kiana Sheibani"
 license = "MIT"
@@ -13,6 +13,11 @@ modules = Data.Tensor,
           Data.Profunctor.Types,
           Data.Profunctor.Functor,
           Data.Profunctor.Strong,
+          Data.Profunctor.Costrong,
           Data.Profunctor.Closed,
           Data.Profunctor.Traversing,
-          Data.Profunctor.Sieve
+          Data.Profunctor.Mapping,
+          Data.Profunctor.Sieve,
+          Data.Profunctor.Representable,
+          Data.Profunctor.Cayley,
+          Data.Profunctor.Yoneda