Add contracts to libraries

slag-plt / scamper

A mini-Scheme implementation designed for teaching, targeting the web

0 stars 0 forks source link

Closed psosera closed 11 months ago

psosera commented 11 months ago

Add contracts to library functions so we obtain parity with v1's precondition checking.

psosera commented 11 months ago

Completed en-route to implementing step-by-step evaluation.