idris-0.9.11: Functional Programming Language with Dependent Types

Safe HaskellNone

IRTS.Java.Pom

Documentation

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