Church encodings for boolean values, natural numbers, pairs and lists.
The project tests mainly check the solutions for these exercises.
Church encodings for boolean values, natural numbers, pairs and lists.
The project tests mainly check the solutions for these exercises.