scala pdf