Relation

Generic interfaces and convenient utilities for using relations.

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedFriday, April 3rd, 2020 4:11:37am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/countvajhula/relation.git19fd1762b20281eab16987f04f69da73337c616c
Last checkedFriday, April 3rd, 2020 6:12:07pm (UTC)
Last editedTuesday, November 19th, 2019 10:07:16pm (UTC)
Date addedTuesday, November 19th, 2019 10:07:16pm (UTC)
Modules
  • relation/transform.rkt
  • relation/dev/profile/comparable/builtin.rkt
  • relation/dev/profile/transform/builtin.rkt
  • relation/dev/profile/algebraic/builtin.rkt
  • relation/scribblings/algebraic.scrbl
  • relation/main.rkt
  • relation/dev/profile/algebraic/relation.rkt
  • relation/tests/transform.rkt
  • relation/scribblings/relation.scrbl
  • relation/dev/profile/transform/relation.rkt
  • relation/algebraic.rkt
  • relation/scribblings/order.scrbl
  • relation/dev/profile/comparable/relation.rkt
  • relation/equivalence.rkt
  • relation/tests/algebraic.rkt
  • relation/scribblings/transform.scrbl
  • relation/tests/equivalence.rkt
  • relation/order.rkt
  • relation/private/util.rkt
  • relation/scribblings/equivalence.scrbl
  • relation/tests/order.rkt