2 files changed, 4 insertions(+), 9 deletions(-)

M README.md
M contracts.sld

@@ 1,12 1,7 @@
 # `(nytpu contracts)` — Design by Contracts for R7RS Scheme
 
-TODO
-
-
-## Rationale
-
-
-TODO
+A library to add contracts to functions, enabling
+[Design by Contracts](https://en.wikipedia.org/wiki/Design_by_contract).
 
 
 ## Documentation

@@ 10,10 10,10 @@
 ;;> functions, in a manner similar to
 ;;> \hyperlink[https://learn.adacore.com/courses/intro-to-ada/chapters/contracts.html]{Ada's subprogram contracts}.
 ;;>
-;;> \bold{TODO:} Add type contracts for records and/or atoms.
-;;>
 ;;> View additional details at the
 ;;> \hyperlink[https://git.sr.ht/~nytpu/dbc-scheme]{project's repository}.
+;;>
+;;> \bold{TODO:} Add type contracts for records and/or atoms.
 (define-library (nytpu contracts)
   (export lambda-contract
           define-contract)