An utility for the run-time checking of program requirements and for providing diagnostic error output inside pure procedures
Latest commits.
Builders behind this project.