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.
|Last updated||Thursday, March 1st, 2018 3:25:41am (UTC)|
|Most recent build results|
|Last checked||Friday, August 23rd, 2019 4:50:30pm (UTC)|
|Last edited||Friday, January 12th, 2018 7:28:28pm (UTC)|