Search Package Index

2 packages found

 PackageDescriptionBuild 

cat

A category theory toolkit for Racket.

This package needs documentation

Tags:
License:
succeeds4

qi-cat

Packages for studying the connections between Qi and Category Theory.

This package needs documentation

License:
fails6