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.
This package needs tags
A little fork of the Pie language (adds `let` and `equal`).
Provides `define-backwards-compatible-flat-prefab-predicate`which is like `define-predicate` but allows for backwards compatible prefab predicate declarations.
This package needs documentation
|succeeds; has dependency problems||3|