LambdaCalculusFSharp icon indicating copy to clipboard operation
LambdaCalculusFSharp copied to clipboard

Published 20 hours ago • verified publisher icon WhiteBlackGoose

Heuristics to detect never halting cases

Open WhiteBlackGoose opened this issue 2 years ago • 0 comments

  • [x] We get an expression that we already had
  • [ ] We get an expression, which has one of the previous expressions as a subexpression

WhiteBlackGoose avatar May 30 '22 22:05 WhiteBlackGoose