clojure-uebungen/Assignment_009/solution/readme.md

# Lösung: Vor- und Nachbedingung


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

```
Update of exercises 2024-03-11 10:34:40 +01:00			`# Lösung: Vor- und Nachbedingung`
first commit 2024-03-11 10:32:49 +01:00
Update of exercises 2024-03-11 10:39:04 +01:00
Update of exercises 2024-03-11 10:41:23 +01:00			```clojure
			`(defn sqrt [n]`
Update of exercises 2024-03-11 10:39:04 +01:00			`{ :pre [(>= n 0)]`
Update of exercises 2024-07-07 13:05:30 +02:00			`:post [(>= % 0)]}`
Update of exercises 2024-03-11 10:39:04 +01:00			`(Math/sqrt n))`
Update of exercises 2024-07-07 13:05:30 +02:00
Update of exercises 2024-03-11 10:39:04 +01:00			```