Closed algebraic-dev closed 2 years ago
It fixes the infinite loop by adding the variables bound by the pattern in the vars vector (it is not modified inside the pattern because patterns cannot have Lambdas, Pi types or Lets inside of them)
vars
It fixes the infinite loop by adding the variables bound by the pattern in the
varsvector (it is not modified inside the pattern because patterns cannot have Lambdas, Pi types or Lets inside of them)