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
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
type-iso230.02Typeclasses for injective relations and isomorphisms between types. (apache, cast, data, library, types)2019-06-251.0.1.0jtapolczai, jtapolczai2