Packages tagged cast
1 package has this tag.
[Merge tag] (trustees only)Related tags: apache (1), data (1), library (1), types (1)
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|
type-iso | 13 | 0.0 | Typeclasses for injective relations and isomorphisms between types. | (apache, cast, data, library, types) | 2019-06-25 | jtapolczai, jtapolczai2 |