ConCert icon indicating copy to clipboard operation
ConCert copied to clipboard

Published 20 hours ago • verified publisher icon AU-COBRA

Multi-argument recursive functions

Open annenkov opened this issue 2 years ago • 1 comments

The support of recursive functions of multiple arguments has been added to LIGO: https://gitlab.com/ligolang/ligo/-/issues/1248

The pretty-printer could be simplified because wrapping multiple arguments in a tuple is no longer required.

annenkov avatar Mar 15 '22 10:03 annenkov