no code implementations • 10 Mar 2021 • Jean-Philippe Bernardy, Richard Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu
A linear parameter must be consumed exactly once in the body of its function.
Programming Languages