Kiana Sheibani 3c87261627 Prefer using Prelude.id over Identity		2023-03-30 14:08:24 -04:00
..
Profunctor	Prefer using Prelude.id over Identity	2023-03-30 14:08:24 -04:00
Profunctor.idr	Create Data.Profunctor.Sieve	2023-03-06 19:25:09 -05:00
Tensor.idr	Change visibility on everything to public export	2023-03-30 13:32:45 -04:00