search

flix / book

The Flix Programming Book
Other
14 stars 22 forks source link

fix: insertion ordering for maps and sets #92

Closed ZiyaoWei closed 1 year ago

ZiyaoWei commented 1 year ago

This updates the desugared insertion ordering for sets and maps, and adds clarifications for both.

Fixes #91

ZiyaoWei commented 1 year ago

@magnus-madsen feel free to modify/ignore as you see fit :-) Thanks!

magnus-madsen commented 1 year ago

Thanks!