Add more underscores to f_equiv
1 unresolved thread
1 unresolved thread
lambda-rust!21 (comment 64914) requires a version of f_equiv with 5 underscores instead of 4. This is the minimal patch to fulfil this usecase, but we could add even more underscores while we are at it.
Edited by Michael Sammler
Merge request reports
Activity
mentioned in merge request lambda-rust!21
mentioned in commit 2327e1a2
Please register or sign in to reply