Liking cljdoc? Tell your friends :D

notes

1) Correctness

1.1) Specification

Correctness is a relative notion

1.2) Consequences

  1. Knowing its correct
  2. Gaining a deeper understanding of the problem
  3. Documentation
  4. A basis for testing
  5. A basis for debugging

1.3) Weak and Strong

  • weak pre
  • strong post
❮contractprovide❯

Can you improve this documentation?Edit on GitHub

cljdoc builds & hosts documentation for Clojure/Script libraries

Keyboard shortcuts
Ctrl+kJump to recent docs
←Move to previous article
→Move to next article
Ctrl+/Jump to the search field
Raise an issueBrowse cljdoc sourceChat on Slack
× close