idris2-profunctors/profunctors.ipkg
2023-03-04 22:15:21 -05:00

11 lines
152 B
Plaintext

package profunctors
version = 0.0.0
authors = "Kiana Sheibani"
license = "MIT"
readme = "README.md"
modules = Data.Tensor,
Data.Profunctor