relation-doc

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

Build status: ok passing tests missing license metadata

Documentation Download
Authors
Documentation
Tags
License
    Last updatedFriday, January 17th, 2025 8:11:20pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/countvajhula/relation.git?path=relation-doc#master595a96417eaa8a7582a4463d7eb3c301efcfb1f9
    Last checkedSunday, December 7th, 2025 5:54:35pm (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