From c5fcf7179a83ef65c86c6a4a390029149e518649 Mon Sep 17 00:00:00 2001
From: Franciszek Malinka <franciszek.malinka@gmail.com>
Date: Tue, 5 Oct 2021 21:49:54 +0200
Subject: Duzy commit ze smieciami

---
 Semestr 3/pf/lista1/lista1.ml | 70 -------------------------------------------
 1 file changed, 70 deletions(-)
 delete mode 100644 Semestr 3/pf/lista1/lista1.ml

(limited to 'Semestr 3/pf/lista1/lista1.ml')

diff --git a/Semestr 3/pf/lista1/lista1.ml b/Semestr 3/pf/lista1/lista1.ml
deleted file mode 100644
index f8f585f..0000000
--- a/Semestr 3/pf/lista1/lista1.ml	
+++ /dev/null
@@ -1,70 +0,0 @@
-(* Zadanie 1 *)
-
-let a1 f g x = x |> g |> f
-let ff (a : 'a -> 'b) (b : 'c -> 'a) = fun x -> a (b x)
-
-let a2 a b = a
-let a3 a b = if a = b then a else a
-
-(* Zadanie 2 *);;
-let rec x y = x y;;
-
-(* Nie mozna bo etykieta b nie zostala nigdzie nalozona to jak ma byc sciagnieta? *)
-
-(* Zadanie 3 *);;
-
-
-let hd s = s 0
-let tl s = fun x -> s (x + 1)
-let add value s = fun x -> s x + value
-let map f s = fun x -> x |> s |> f
-let map2 f s1 s2 = 
-  fun x -> let a = s1 x and b = s2 x in f a b
-let replace n a s =
-  fun x -> if x mod n = 0 then a else s x
-let take n s =
-  fun x -> n*x |> s
-let rec scan f a s = 
-  fun x -> 
-  if x = 0 then f a (s 0)
-  else f ((scan f a s) (x - 1)) (s x)
-let rec tabulate ?(l=0) r s =
-  if l = r then [s r]
-  else s l :: tabulate ~l:(l + 1) r s
-let s1 x = x + 1
-let s2 x = x * x
-
-(* Zadanie 4 *)
-
-let ctrue a b = a
-let cfalse a b = b
-let cand f1 f2 a b = f1 (f2 a b) b
-let cor f1 f2 a b = f1 a (f2 a b)
-let cbool_of_bool b = if b then ctrue else cfalse
-let bool_of_cbool f = f true false
-
-
-(* Zadanie 5 *)
-
-let zero f x = x
-let succ fn = fun f x -> fn f (f x)
-let add f1 f2 = fun f x -> f1 f (f2 f x)
-let mul f1 f2 = fun f x -> (f1 (f2 f)) x
-let is_zero f = 
-  let g x = x + 1 
-  in if (f g 0) = 0 then ctrue else cfalse
-let rec cnum_of_int = function
-  | 0 -> zero
-  | n -> succ (cnum_of_int (n - 1))
-
-let int_of_cnum f = f (fun x -> x + 1) 0
-
-let one = succ zero
-let two = succ one
-let three = succ two
-let four = succ three
-let five = succ four
-
-let func x = x * 2
-
-(* Zadanie 6 *)
\ No newline at end of file
-- 
cgit v1.2.3