search

weaversa / cryptol-course

The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.
BSD 3-Clause "New" or "Revised" License
25 stars 13 forks source link

Write and use a sorting module #187

Closed WeeknightMVP closed 2 years ago

WeeknightMVP commented 2 years ago

Cryptol 2.13 is released. We should at least cover sort/sortBy in Basics.md, but could go so far as to write a module that describes these instructions and proves they are stable (for a monomorphic sequence and comparator).

In either case, we should also replace the current partition with a faster, simpler implementation that stably sorts the filter results.

WeeknightMVP commented 2 years ago

@weaversa Ah, I see you already amended the partition text.