formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

Pattern matching in deriveComp

Open WhatisRT opened this issue 2 years ago • 0 comments

It would be great to support pattern matching in the conclusion of a rule, to avoid having to write a bunch of let's and explicit binders at the beginning of a rule.

WhatisRT avatar Aug 01 '22 13:08 WhatisRT