search

AU-COBRA / ConCert

A framework for smart contract verification in Coq
MIT License
114 stars 19 forks source link

Multi-argument recursive functions #146

Open annenkov opened 2 years ago

annenkov commented 2 years ago

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 commented 2 years ago

Here is the release that supports curried recursive functions: https://gitlab.com/ligolang/ligo/-/releases/0.35.0