Search Package Index

5 packages found

	Package	Description	Build
-1615519636	lathe-morphisms rokitna@hotmail.com	Interfaces for category theory concepts. Docs: lathe-morphisms Tags: algebra category contracts equality functional lathe set	succeeds	0
-1615519624	lathe-morphisms-doc rokitna@hotmail.com	Interfaces for category theory concepts. (doc) Docs: lathe-morphisms Tags: algebra category contracts equality functional lathe set	succeeds	0
-1615519612	lathe-morphisms-lib rokitna@hotmail.com	Interfaces for category theory concepts. (lib) This package needs documentation Tags: algebra category contracts equality functional lathe set	succeeds	3
-1615519601	lathe-morphisms-test rokitna@hotmail.com	Interfaces for category theory concepts. (test) This package needs documentation Tags: algebra category contracts equality functional lathe set	succeeds	3
-1557109396	set-extras pcn@cs.umd.edu	Some conveniences for set, including fancy unicode aliases and more comprehension forms This package needs documentation Tags: set typed-racket unicode	succeeds	3

lathe-morphisms