Idris2Doc : Data.String.Interpolation

Data.String.Interpolation

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