relation

Generic interfaces and convenient utilities for using relations.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedFriday, June 24th, 2022 10:21:11pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/countvajhula/relation.git?path=relation1e5d06266644282a5649dcaf6d861166b0f74e8b
Last checkedWednesday, June 29th, 2022 5:16:51pm (UTC)
Last editedMonday, June 20th, 2022 10:53:56pm (UTC)
Date addedTuesday, November 19th, 2019 10:07:16pm (UTC)
Modules
  • relation/scribblings/relation.scrbl
  • relation/tests/function.rkt
  • relation/scribblings/equivalence.scrbl
  • relation/scribblings/function.scrbl
  • relation/private/util.rkt
  • relation/scribblings/order.scrbl
  • relation/function/type/application-scheme/partial.rkt
  • relation/function.rkt
  • relation/tests/private/util.rkt
  • relation/tests/equivalence.rkt
  • relation/function/syntax.rkt
  • relation/scribblings/composition.scrbl
  • relation/function/type.rkt
  • relation/composition.rkt
  • relation/function/type/application-scheme/curried.rkt
  • relation/function/util.rkt
  • relation/logic.rkt
  • relation/equivalence.rkt
  • relation/function/type/util.rkt
  • relation/private/contract.rkt
  • relation/function/type/power.rkt
  • relation/function/type/application-scheme/interface.rkt
  • relation/tests/composition.rkt
  • relation/tests/order.rkt
  • relation/tests/logic.rkt
  • relation/function/intf.rkt
  • relation/tests/type.rkt
  • relation/function/type/base.rkt
  • relation/order.rkt
  • relation/function/type/composed.rkt
  • relation/function/type/interface.rkt
  • relation/scribblings/logic.scrbl
  • relation/function/type/application-scheme.rkt
  • relation/main.rkt
  • relation/function/type/application-scheme/private/util.rkt
  • relation/function/type/application-scheme/template.rkt
  • relation/scribblings/type.scrbl
  • relation/function/composition.rkt
  • relation/type.rkt