Revision as of 21:14, 23 December 2022 (view source) Garbanzo (talk \| contribs) (RankNTypes) ← Older edit		Revision as of 21:18, 23 December 2022 (view source) Garbanzo (talk \| contribs) (0^0) Newer edit →
Line 98: ===RankNTypes & coercion=== This is a nice task, it is good at showing different type systems. Several examples refers to Haskell's RankNTypes. What does it do? Does it make all Church numerals the same type? In the C++ implementation of division, I had trouble with 4-2 and 3-1 being different types even though they are both 2. Is that the cause of needing coercion? [[User:Garbanzo\|Garbanzo]] ([[User talk:Garbanzo\|talk]]) 21:14, 23 December 2022 (UTC) ===0^0=== Also, it is amazing that 0^0 works out to 1. Still trying to wrap my head around that one. [[User:Garbanzo\|Garbanzo]] ([[User talk:Garbanzo\|talk]]) 21:17, 23 December 2022 (UTC)

Talk:Church numerals: Difference between revisions

Talk:Church numerals (view source)