relation

Generic interfaces and convenient utilities for using relations.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedWednesday, November 4th, 2020 11:01:47pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/countvajhula/relation.giteba916a37511427f54b9d6093f7620600c99c1a7
Last checkedThursday, March 4th, 2021 10:51:15am (UTC)
Last editedFriday, June 5th, 2020 9:17:07pm (UTC)
Date addedTuesday, November 19th, 2019 10:07:16pm (UTC)
Modules
  • relation/scribblings/type.scrbl
  • relation/tests/equivalence.rkt
  • relation/algebraic.rkt
  • relation/scribblings/composition.scrbl
  • relation/scribblings/relation.scrbl
  • relation/composition.rkt
  • relation/scribblings/logic.scrbl
  • relation/main.rkt
  • relation/dev/profile/equivalence/relation.rkt
  • relation/private/contract.rkt
  • relation/tests/composition.rkt
  • relation/scribblings/order.scrbl
  • relation/equivalence.rkt
  • relation/dev/profile/type/relation.rkt
  • relation/logic.rkt
  • relation/scribblings/equivalence.scrbl
  • relation/dev/profile/order/builtin.rkt
  • relation/dev/profile/order/relation.rkt
  • relation/private/util.rkt
  • relation/tests/type.rkt
  • relation/dev/profile/equivalence/builtin.rkt
  • relation/scribblings/function.scrbl
  • relation/tests/order.rkt
  • relation/dev/profile/composition/relation.rkt
  • relation/dev/profile/function/builtin.rkt
  • relation/order.rkt
  • relation/type.rkt
  • relation/function.rkt
  • relation/tests/logic.rkt
  • relation/transform.rkt
  • relation/tests/private/util.rkt
  • relation/tests/function.rkt
  • relation/dev/profile/logic/builtin.rkt
  • relation/dev/profile/logic/relation.rkt
  • relation/dev/profile/composition/builtin.rkt
  • relation/dev/profile/type/builtin.rkt
  • relation/dev/profile/function/relation.rkt