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

Added run-time errors and debugging sections to the Language Basics lab #193

Closed weaversa closed 2 years ago

weaversa commented 2 years ago

closes #112

weaversa commented 2 years ago

Still missing undefined, sort, and sortBy. I also kind of skipped over error (favoring assert) and trace (favoring traceVal).

weaversa commented 2 years ago

I'm going to merge this in. We can update later.