diff options
| author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2021-10-05 21:49:54 +0200 |
|---|---|---|
| committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2021-10-05 21:49:54 +0200 |
| commit | c5fcf7179a83ef65c86c6a4a390029149e518649 (patch) | |
| tree | d29ffc5b86a0d257453cedcf87d91a13d8bf3b0d /Semestr 2/racket/l11/solution.bak | |
| parent | f8a88b6a4aba1f66d04711a9330eaba49a50c463 (diff) | |
Duzy commit ze smieciami
Diffstat (limited to 'Semestr 2/racket/l11/solution.bak')
| -rw-r--r-- | Semestr 2/racket/l11/solution.bak | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/Semestr 2/racket/l11/solution.bak b/Semestr 2/racket/l11/solution.bak deleted file mode 100644 index 3ae167a..0000000 --- a/Semestr 2/racket/l11/solution.bak +++ /dev/null @@ -1,18 +0,0 @@ -#lang racket - -(require racket/contract) - -(provide (contract-out [square square/c])) -(provide square/c) - -(define square/c (-> number? (not/c negative?))) - -(define (square x) (* x x)) - - -(define with-labels/c (parametric->/c [a b] (-> (-> a b)) - -(define (with-labels f xs) - (if (null? xs) - null - (cons (list (f (car xs)) (car xs)) (with-labels f (cdr xs)))))
\ No newline at end of file |