GitHub - avuori/Churchpotion: Fun with Church numerals in Potion

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
README		README
church.pn		church.pn

Repository files navigation

Fun with Church numerals in Potion.

For Potion runtime, see https://github.com/fogus/potion

Fun with Church numerals in Potion

No releases published

No packages published