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 is a website building & hosting documentation for Clojure/Script libraries

Keyboard shortcutsReport a problemcljdoc on GitHub
× close