Skip to content

Commit ef17553

Browse files
authored
Merge pull request #58 from JohanWiltink/main
church toInt is _not_ stack-limited
2 parents 06b4b51 + afcc64f commit ef17553

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/lambda-calculus.js

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -140,7 +140,7 @@ export function toIntWith(cfg={}) {
140140
return function toInt(term) {
141141
try {
142142
if ( numEncoding === "Church" ) {
143-
return term ( x => x+1 ) ( Primitive(0) ); // still stack-limited
143+
return term ( x => x+1 ) ( Primitive(0) );
144144
} else if ( numEncoding === "Scott" ) {
145145
let result = 0, evaluating = true;
146146
while ( evaluating )

0 commit comments

Comments
 (0)