Functional Programming Prev: unifying-data-with-sequences Next: specifications Prev: unifying-data-with-sequences Next: specifications