qi-cat

Packages for studying the connections between Qi and Category Theory.

Build status: failed valid license

Download
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 21st, 2024 12:38:06am (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