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

Transposition Ciphers prereqs #140

Open weaversa opened 4 years ago

weaversa commented 4 years ago

As @WeeknightMVP pointed out in #99, we still need to add (look over) the prereqs sections for these new labs.

WeeknightMVP commented 2 years ago

A student recently pointed out that rearrange uses a multi-way conditional, which is not covered earlier; this should be added to the appropriate section in Language/Basics.