Commit 55ebf977 authored by Frontull Samuel's avatar Frontull Samuel
Browse files

final touch

parent 7d5e947e
......@@ -228,7 +228,9 @@ cross_cmb :: ListStrPairs -> ListStrPairs -> ListStrPairs
cross_cmb = ycomb (\f x y ->
ite (is_nil x) nil (append (map_cmb (hd_l x) y) (f (tl_l x) y)))
-- combine pairs and check if any pair with equal strings is created, otherwise iterate
-- combine lists of pairs of strings
-- and check if any pair with equal strings is created
-- if yes return true otherwise reiterate
pcp :: ListStrPairs -> LCBool
pcp = \x -> ycomb (\f x y ->
ite (is_nil x) false (ite (find_eq x) true (f (cross_cmb x y) y))) x x
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment