-
Danil authored
Fix printing recursive functions in Liquidity (packing arguments to a tuple for all recursive constants. Some adjustments in examples.
3774b5e4
Fix printing recursive functions in Liquidity (packing arguments to a tuple for all recursive constants. Some adjustments in examples.