Module TransformPluralArguments

A tool to support plural arguments by a transformation on Curry programs.

Author: Michael Hanus

Version: July 2024

Summary of exported operations:

main :: IO ()  Non-deterministic 

Exported operations:

main :: IO ()  Non-deterministic