relation-doc

Generic interfaces and convenient utilities for using relations. [docs only]

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedSaturday, September 14th, 2024 2:55:53am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/countvajhula/relation.git?path=relation-doc#masterc3405da5f15a264d6061903dc85b292a3a9742c8
Last checkedSunday, October 13th, 2024 1:48:42pm (UTC)
Last editedFriday, September 23rd, 2022 5:45:56am (UTC)
Date addedThursday, September 22nd, 2022 12:51:20am (UTC)
Modules
  • relation/scribblings/composition.scrbl
  • relation/scribblings/eval.rkt
  • relation/scribblings/order.scrbl
  • relation/scribblings/equivalence.scrbl
  • relation/scribblings/type.scrbl
  • relation/scribblings/function.scrbl
  • relation/scribblings/relation.scrbl
  • relation/scribblings/logic.scrbl