Pretty Church numerals - Githubissues

TurtlePU / lambda-calculus

An LC interpreter with GHCi interface.

MIT License

2 stars 0 forks source link

Open TurtlePU opened 1 year ago

TurtlePU commented 1 year ago

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.

Jijasan commented 1 year ago

Reserve