readme.org 1.2 KB
About
This example contains an implementation of a contract system. It uses CK style macros to implement contracts. 1[Oleg Kiselyov's page about them]]]
This is still work in progress.
TODO Usage
See test.scm for usage examples.
To do [0/1]
TODO Consider using (use-modules (system base ck)) CK macros
Apparently Guile already has the CK macro stuff built-in. Consider switching to that, instead of defining them in this repository.
- DEFINITION NOT FOUND