A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
- common-lisp
- eiffel
- postcondition
- preconditions
Repository Index
47,133 repositories indexed
1–1 of 1 · Most stars
47,133 repositories indexed
1–1 of 1 · Most stars
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.