idris-0.9.11.1: Functional Programming Language with Dependent Types

Safe HaskellNone

IRTS.Java.Pom

Documentation

pomString :: String -> String -> [String] -> StringSource