Search Package Index

5 packages found

 PackageDescriptionBuild 

lathe-morphisms

Interfaces for category theory concepts.

This package needs license metadata

succeeds2

lathe-morphisms-doc

Interfaces for category theory concepts. (doc)

This package needs license metadata

succeeds2

lathe-morphisms-lib

Interfaces for category theory concepts. (lib)

This package needs documentation

This package needs license metadata

succeeds4

lathe-morphisms-test

Interfaces for category theory concepts. (test)

This package needs documentation

This package needs license metadata

succeeds4

set-extras

Some conveniences for set, including fancy unicode aliases and more comprehension forms

This package needs documentation

This package needs license metadata

succeeds4