Tag: Scala

2019-06-30 Encoding Invariants in Scala