Idris2Doc : Utils.String

Utils.String

Definitions

uncapitalise : String->String
Visibility: export