relation-lib

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

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedSaturday, September 14th, 2024 2:55:54am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/countvajhula/relation.git?path=relation-lib#masterc3405da5f15a264d6061903dc85b292a3a9742c8
Last checkedSunday, October 13th, 2024 12:48:38pm (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