miniatures Miniature scala sources Symbolic.scala Sample symbolic programming with traits, case classes and objects.