On even positive numbers

Write a function of type positive->bool which returns true iff its argument is a positive even number.

Solution

Look at this file