Allows for function definitions with simple specifications that are enforced by checks at each call site. Functionality pales in comparison to racket/contract, but error messages w/ source info are provided for same-module violations of specifications.
Authors | |||||||
---|---|---|---|---|---|---|---|
Documentation | |||||||
Tags | |||||||
License | |||||||
Last updated | Monday, March 13th, 2023 4:24:47pm (UTC) | ||||||
Ring | 1 | ||||||
Conflicts | None | ||||||
Dependencies | |||||||
Most recent build results |
| ||||||
Version Exceptions |
| ||||||
Last checked | Thursday, November 21st, 2024 5:45:11am (UTC) | ||||||
Last edited | Friday, January 12th, 2018 7:28:28pm (UTC) | ||||||
Date added | N/A | ||||||
Modules |
|