clojure-uebungen/Assignment_009/solution

Lösung: Vor- und Nachbedingung

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