Revision as of 11:21, 18 January 2022 (view source) Rdm (talk \| contribs) (J interpretation of negative church numbers) ← Older edit		Revision as of 11:23, 18 January 2022 (view source) Rdm (talk \| contribs) m (→‎{{header\|J}}) Newer edit →
Line 1,331: (three chSub four) apply 10 5 ~~eightyone=:~~(sixtyfour chSub three chExp four) apply 10x^20 ~~(sixtyfour chSub eightyone) apply 10x^20~~ 762939453125000</lang>

Church numerals (view source)