karamel icon indicating copy to clipboard operation
karamel copied to clipboard
verified publisher icon FStarLang

Revert "Revert "Unconditionally simplify trivial let""

Open msprotz opened this issue 3 years ago • 0 comments

This reverts commit bb5a50cf71e622f7a75a049683ab25c17dd0eded.

Placeholder until I figure out why this broke HACL*.

msprotz avatar May 11 '22 23:05 msprotz