The documentation [1] has a bit of information about using uniqueness types for IO and other cases. [1] https://clean.cs.ru.nl/download/html_report/CleanRep.2.2_11....
The documentation [1] has a bit of information about using uniqueness types for IO and other cases. [1] https://clean.cs.ru.nl/download/html_report/CleanRep.2.2_11....