About

This example contains an implementation of a contract system. It uses CK style macros to implement contracts. ¹[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