relation-lib

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

Build status: ok passing tests missing license metadata

Download
Authors
Documentation
    Tags
    License
      Last updatedFriday, January 17th, 2025 8:11:21pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/countvajhula/relation.git?path=relation-lib#master595a96417eaa8a7582a4463d7eb3c301efcfb1f9
      Last checkedSunday, November 30th, 2025 6:54:37pm (UTC)
      Last editedFriday, September 23rd, 2022 5:46:38am (UTC)
      Date addedThursday, September 22nd, 2022 12:49:47am (UTC)
      Modules
      • relation/type.rkt
      • relation/order.rkt
      • relation/composition.rkt
      • relation/function/composition.rkt
      • relation/function/type.rkt
      • relation/equivalence.rkt
      • relation/function/type/application-scheme/interface.rkt
      • relation/function/util.rkt
      • relation/function/type/application-scheme/curried.rkt
      • relation/function.rkt
      • relation/function/type/application-scheme/partial.rkt
      • relation/function/type/util.rkt
      • relation/private/contract.rkt
      • relation/function/type/base.rkt
      • relation/function/intf.rkt
      • relation/main.rkt
      • relation/function/type/interface.rkt
      • relation/private/util.rkt
      • relation/function/type/application-scheme/template.rkt
      • relation/function/type/application-scheme/private/util.rkt
      • relation/function/syntax.rkt
      • relation/function/type/composed.rkt
      • relation/logic.rkt
      • relation/function/type/power.rkt
      • relation/function/type/application-scheme.rkt