ctp

Category Theory in Programming

Build status: ok dependency problems passing tests valid license

Documentation Download
Authors
Documentation
Tags
License
Last updatedTuesday, November 19th, 2024 8:58:29am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit+https://github.com/NoahStoryM/ctp#develop33640a474605baa3358ee05ee9823ca9cd7d42dd
Last checkedThursday, November 21st, 2024 5:45:03am (UTC)
Last editedTuesday, November 19th, 2024 9:00:18am (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/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/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/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/exercises/category/Arr.rkt
  • ctp/scribblings/code/category/List.rkt
  • ctp/main.rkt
  • ctp/scribblings/code/category/Arr_Pair.rkt
  • ctp/scribblings/code/functor/TDFA.rkt