Software Specifications for Scala - View it on GitHub