79302540

Date: 2024-12-23 08:21:34
Score: 4.5
Natty:
Report link

Btw your code for substitution is not correct because it is not "capture avoiding" !!! May I suggest switching to the De Bruijn handling of binders?

Reasons:
  • Low length (1):
  • No code block (0.5):
  • Ends in question mark (2):
  • Single line (0.5):
  • Low reputation (0.5):
Posted by: Dominique Larchey-Wendling