Tag: Invariants

2019-06-30 Encoding Invariants in Scala