ctp

Category Theory in Programming

Build status: ok dependency problems passing tests valid license

Documentation Download
Authors
Documentation
Tags
License
Last updatedThursday, December 12th, 2024 8:45:08am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit+https://github.com/NoahStoryM/ctp#develop2cc656ce1ca4be448b803c9c76867a2f795d8895
Last checkedSaturday, December 14th, 2024 10:45:03am (UTC)
Last editedSunday, December 1st, 2024 9:31:00am (UTC)
Date addedSaturday, November 16th, 2024 4:06:10am (UTC)
Modules
  • ctp/scribblings/exercises/category/Str.rkt
  • ctp/scribblings/exercises/category/N.rkt
  • ctp/scribblings/code/category/Arr_Pair.rkt
  • ctp/scribblings/exercises/natural_transformation/vertical-compose.rkt
  • ctp/scribblings/exercises/category/Sli.rkt
  • ctp/scribblings/ctp.scrbl
  • ctp/scribblings/code/category/Matr+Pair.rkt
  • ctp/scribblings/ctp-utils.rkt
  • ctp/private/utils.rkt
  • ctp/scribblings/code/category/Nat.rkt
  • ctp/scribblings/private/utils.rkt
  • ctp/scribblings/code/function/P.rkt
  • ctp/scribblings/code/category/Set.rkt
  • ctp/scribblings/category/main.scrbl
  • ctp/scribblings/code/functor/SliF.rkt
  • ctp/scribblings/code/functor/NFA.rkt
  • ctp/scribblings/exercises/category/coSli.rkt
  • ctp/scribblings/exercises/functor/F.rkt
  • ctp/scribblings/code/category/check.rkt
  • ctp/scribblings/exercises/category/+.rkt
  • ctp/scribblings/code/natural_transformation/Matr.rkt
  • ctp/scribblings/exercises/functor/make-path.rkt
  • ctp/scribblings/code/category/dual.rkt
  • ctp/scribblings/code/functor/check.rkt
  • ctp/scribblings/exercises/functor/DFA.rkt
  • ctp/scribblings/code/functor/transpose.rkt
  • ctp/scribblings/functor/main.scrbl
  • ctp/scribblings/code/category/Proc.rkt
  • ctp/scribblings/code/functor/coSliF.rkt
  • ctp/scribblings/code/category/Rel.rkt
  • ctp/scribblings/code/category/sub.rkt
  • ctp/scribblings/code/functor/DFA.rkt
  • ctp/scribblings/code/category/Pair.rkt
  • ctp/scribblings/code/category/Matr.rkt
  • ctp/tests/private/utils.rkt
  • ctp/scribblings/appendix.scrbl
  • ctp/scribblings/natural_transformation/main.scrbl
  • ctp/scribblings/exercises/category/Arr.rkt
  • ctp/scribblings/code/category/List.rkt
  • ctp/main.rkt
  • ctp/scribblings/code/functor/TDFA.rkt
  • ctp/scribblings/code/natural_transformation/check.rkt