add Scala Idris pdf