Idris2Doc : Data.String.Interpolation

Data.String.Interpolation