contract-parameter

Dynamically bound contracts.

Build status: ok passing tests

Documentation README Download
Authors
Documentation
Tags
Last updatedTuesday, February 16th, 2021 7:01:19am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/camoy/contract-parameter.git#main25513d7aa77f90ce8c30554e755ef3b5cb5d1166
Last checkedThursday, March 4th, 2021 12:22:19pm (UTC)
Last editedTuesday, February 16th, 2021 6:59:30am (UTC)
Date addedTuesday, February 16th, 2021 6:59:30am (UTC)
Modules
  • contract-parameter/main.rkt
  • contract-parameter/private/binding.rkt
  • contract-parameter/examples/map.rkt
  • contract-parameter/scribblings/contract-parameter.scrbl
  • contract-parameter/private/parameterize-contract-macro.rkt
  • contract-parameter/examples/iterator.rkt
  • contract-parameter/examples/sort.rkt
  • contract-parameter/private/contract-parameter.rkt
  • contract-parameter/private/util.rkt
  • contract-parameter/private/parameterize-contract.rkt