search

flix / flix

The Flix Programming Language
https://flix.dev/
Other
2.09k stars 150 forks source link

Use the `NonDet` effect for channel operations #4293

Closed magnus-madsen closed 1 year ago

magnus-madsen commented 1 year ago

Refactor the channel operations to be NonDet.

magnus-madsen commented 1 year ago

Continued in https://github.com/flix/flix/issues/4755.