qi-cat

Packages for studying the connections between Qi and Category Theory.

Build status: failed valid license

Authors
Documentation
Tags
License
Last updatedWednesday, January 4th, 2023 5:14:20am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
8.7git+https://github.com/NoahStoryM/qi-cat#v8.7bc4e50f33f8324ef08320d8a60ffdf31935e8ff3
defaultgit+https://github.com/NoahStoryM/qi-cat#master7d838154bb2b97f875662463398b0c1f56e83f20
Last checkedSunday, April 14th, 2024 2:37:52pm (UTC)
Last editedWednesday, January 4th, 2023 3:56:19am (UTC)
Date addedSunday, September 11th, 2022 9:17:59am (UTC)
Modules
  • tests/qi/cat/cat.rkt
  • qi/cat/main.rkt
  • qi/cat.rkt
  • qi/sum.rkt
  • qi/sum/main.rkt
  • qi/cat/private/utils.rkt
  • qi/cat/private/function.rkt
  • tests/qi/sum/sum.rkt
  • qi/sum/private/cofunction.rkt
  • qi/sum/private/utils.rkt