RethLab
EN
Lesson 2 — Alloy primitives and signing