Data.String.Interpolation

A DYI version of 'string interpolation', mimicking Python 3's 'f-string' syntax
Not as fancy

Definitions

F : List String -> String

Visibility: public export

F : List (List String) -> String

Visibility: public export