Church numerals: Difference between revisions

Content added Content deleted
(J interpretation of negative church numbers)
Line 1,331: Line 1,331:
(three chSub four) apply 10
(three chSub four) apply 10
5
5
eightyone=: three chExp four
(sixtyfour chSub three chExp four) apply 10x^20
(sixtyfour chSub eightyone) apply 10x^20
762939453125000</lang>
762939453125000</lang>