smits
/
clojure-uebungen
2
3
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
clojure-uebungen/Assignment_009/solution/readme.md

127 B
Raw Permalink Blame History

Lösung: Vor- und Nachbedingung

(defn sqrt [n]
  { :pre [(>= n 0)]
    :post [(>= % 0)]}
    (Math/sqrt n))