guile-examples/macros/contracts

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.

---

1. DEFINITION NOT FOUND