After enabling the corresponding language extension (see #9), the following two things happen:
- user can input Church numerals using numbers (e.g. inputting
4 will yield \f x -> f (f (f (f x))));
- every occurence of a Church numeral in a printed term will be replaced with a corresponding number.
After enabling the corresponding language extension (see #9), the following two things happen:
4will yield\f x -> f (f (f (f x))));