signature

Syntax and utilities for writing function contracts as signatures

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, August 15th, 2017 5:00:28pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/thinkmoore/signaturec8be60858474259d27f94b23214f7397d9653eb1
Last checkedThursday, October 18th, 2018 11:16:12pm (UTC)
Last editedTuesday, May 2nd, 2017 4:25:29pm (UTC)
Modules
  • signature/syntax.rkt
  • signature/utils.rkt
  • signature/scribblings/signature.scrbl
  • signature/main.rkt