Update ipkg

Profunctors in Idris2 | GitHub Mirror: https://github.com/tokinanpa/idris2-profunctors
2023-03-30 14:10:13 -04:00 · 2023-03-30 14:08:24 -04:00 · 2023-03-04 22:15:21 -05:00 · 2023-03-04 22:15:21 -05:00 · 2023-03-30 14:10:13 -04:00 · 2023-03-07 14:29:31 -05:00
diff --git a/Kiana Sheibani b/Kiana Sheibani
Kiana Sheibani e862ef887f Update ipkg		2023-03-30 14:10:13 -04:00
Data	Prefer using `Prelude.id` over Identity	2023-03-30 14:08:24 -04:00
.gitignore	Initial commit	2023-03-04 22:15:21 -05:00
LICENSE	Initial commit	2023-03-04 22:15:21 -05:00
profunctors.ipkg	Update ipkg	2023-03-30 14:10:13 -04:00
README.md	Update ipkg	2023-03-07 14:29:31 -05:00